Olá, meu povo!
Algumas provas do Cespe cobram Lógica sentencial e de primeira ordem. Dentre os diversos assuntos que englobam esse tema, está Estruturas Lógicas.
Vamos dar uma olhada em uma questão da prova de Analista em Transportes (Analista Administrativo) da Companhia de Transportes Urbanos da Grande Vitória (CETURB/ES), realizada em abril de 2010.
Uma dedução lógica é uma sequência finita de proposições na qual algumas proposições, denominadas premissas, são supostas verdadeiras, e as demais proposições, chamadas conclusões, são também verdadeiras por consequência das premissas e de conclusões previamente obtidas. Considere as quatro proposições a seguir.
A: Se Abel não mora em Vitória, então Beto mora em Serra.
B: Se Carlos mora em Serra ou em Vila Velha, então Abel mora em Vitória.
C: Se Danilo não mora em Vitória, então Carlos mora em Vila Velha.
D: Beto mora em Linhares.
Sabendo que cada um dos rapazes mora em uma cidade diferente, considerando as proposições A, B, C e D como premissas de uma dedução lógica, julgue o item que se segue.
Carlos não mora em Vila Velha.
A premissa D é uma proposição simples e, como sabemos que as premissas são verdadeiras, Beto mora em Linhares = V. Assim, na premissa 1, Beto mora em Serra = F. Assim:
~(Abel mora em Vitória) -> F
Na condicional, se a 2ª parte for falsa, a 1ª parte também deverá ser. Logo, ~(Abel mora em Vitória) = F, ou seja, Abel mora em Vitória = V.
Notem que na premissa C, sabemos que Danilo não mora em Vitória = V (Abel mora lá, ok?). Logo:
V -> Carlos mora em Vila Velha
Na condicional, se 1ª parte é verdadeira, a 2ª parte também deverá ser. Assim, Carlos mora em Vila Velha = V.
Finalizando, a premissa B fica:
(F v V) -> V
V -> V = V (ou seja, a premissa B é verdadeira)
Como todas as premissas são verdadeiras, temos as seguintes conclusões:
Abel mora em Vitória
Beto mora em Linhares
Carlos mora em Vila Velha
Item errado.
Faltam 122 questões!
Beijo no papai e na mamãe,
PH