Questões sobre Análise das Preposição Categóricas

A lógica proposicional trata de argumentações elaboradas por meio de proposições, isto é, de declarações que podem ser julgadas como verdadeiras (V) ou falsas (F), mas nunca como V e F simultaneamente. As proposições normalmente são simbolizadas por letras maiúsculas do alfabeto e alguns símbolos lógicos são usados para compor novas proposições. Uma conjunção, proposição simbolizada por AvB, é lida como “A e B” e julgada como V somente quando A e B forem V, e F, nos demais casos. Uma implicação, proposição simbolizada por A÷B, é lida como “se A, então B”, e julgada como F somente quando A for V e B for F, e V nos demais casos. A lógica de primeira ordem também trata de argumentações elaboradas por meio de proposições da lógica proposicional, mas admite proposições que expressem quantificações do tipo “todo”, “algum”, “nenhum” etc.

 A partir dessas notações e definições, julgue os itens que se seguem.

Considerando que as proposições “As pessoas que, no banho, fecham a torneira ao se ensaboar são ambientalmente educadas” e “Existem crianças ambientalmente educadas” sejam V, então a proposição “Existem crianças que, no banho, fecham a torneira ao se ensaboar” também será V.

Certo mês, alguns analistas do Ministério Público do Estado de Sergipe executaram as seguintes atividades: elaboração de pareceres técnicos, implantação e auditoria de projetos. Relativamente às atividades executadas por tais analistas, observou-se que:

 − todos os que implantaram projetos também elaboraram pareceres técnicos;

− alguns, que executaram a auditoria de projetos, também elaboraram pareceres técnicos.

Com base nessas observações, é correto afirmar que, com certeza,

            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 os itens de 11 a 14.

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.

            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 os itens de 11 a 14.

Considerando como premissas as proposições "Nenhum universitário é analista judiciário" e "Todo analista judiciário faz curso de informática", e como conclusão a proposição "Nenhum universitário faz curso de informática", então o raciocínio formado por essas proposições é correto.

Sabendo-se que a proposição "Todas as pessoas que usam chapéu, bermuda e camiseta dourada, mas não usam tênis azul, são do conjunto D" tem valoração verdadeira, então a proposição "Há pessoas que usam chapéu, usam bermuda, usam camiseta dourada, não usam tênis azul, e não são do conjunto D" tem valoração falsa.