Considere a sentença: “se os gatos são mamíferos, então os mamíferos são peludos”. Uma sentença logicamente equivalente a essa sentença é: