A lógica sentencial, ou proposicional, trata do racio...

      A lógica sentencial, ou proposicional, trata do raciocínio expresso por sentenças, ou proposições, que podem ser julgadas como verdadeiras (V) ou falsa (F), mas que não admitem os julgamentos V e F simultaneamente. A lógica de primeira ordem também trata do raciocínio expresso por sentenças, ou proposições, que são julgadas como V ou F dependendo do conjunto, ou domínio, ao qual pertencem os objetos referenciados nas sentenças e das propriedades, ou predicados, associadas a esses objetos. Na lógica de primeira ordem, os objetos de um domínio são quantificados por todos, alguns, nenhum etc. As deduções da lógica proposicional ou da lógica de primeira ordem têm uma estrutura cuja análise permite decidir se o raciocínio expresso está correto ou não, isto é, se a conclusão é uma consequência verdadeira das proposições que são colocadas como premissas, sempre consideradas verdadeiras.
Com base nas informações do texto acima, julgue o item.
A dedução expressa por “Todos os dinossauros são animais extintos; existem mamíferos que são animais extintos; portanto, existem mamíferos que são dinossauros” é um raciocínio correto.