Raciocínio lógico - Análise das Preposição Categóricas - Centro de Seleção e de Promoção de Eventos UnB (CESPE) - 2009
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.
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...