Todo felino é mamífero. (premissa) Todo gato é felino. (premissa) ∴Todo gato é mamífero. (conclusão) As proposições acima são exemplos de: Silogism...

As proposições apresentadas são um exemplo de Silogismo Dedutivo. O Silogismo Dedutivo é um tipo de argumento lógico que consiste em duas premissas e uma conclusão que é deduzida a partir das premissas. Nesse caso, as premissas são "Todo felino é mamífero" e "Todo gato é felino", e a conclusão é "Todo gato é mamífero".