Olá, meu povo!
Vamos dar mais uma olhada numa questão envolvendo Lógica Sentencial e de Primeira Ordem, pois é um tópico muito cobrado pelo Cespe, porém boa parte dos livros de RL não citam esse assunto.
Na questão de hoje, vamos ver que um dos assuntos que está ‘dentro’ desse tópico é negação de proposições.
A questão foi retirada da prova de Técnico Judiciário (Programação de Sistemas) do Tribunal Regional Eleitoral do Maranhão (TRE/MA), realizada em 2009.
Com base nas regras da lógica sentencial, assinale a opção que corresponde à negação da proposição ‘Mário é contador e Norberto é estatístico.’
a) Se Mário não é contador, então Norberto não é estatístico.
b) Mário não é contador e Norberto não é estatístico.
c) Se Mário não é contador, então Norberto é estatístico.
d) Se Mário é contador, então Norberto não é estatístico.
e) Se Mário é contador, então Norberto é estatístico.
Se temos que:
M = Mário é contador
N = Norberto é estatístico
Então:
Negação de ‘Mário é contador e Norberto é estatístico’ = ~(M ^ N)
Já conhecemos que a negação da conjunção pode ser ‘transformada’ em um disjunção, não é mesmo? A resposta. Poderíamos ter uma resposta assim:
~(M ^ N) = ~M v ~N = Mário NÃO é contador OU Norberto NÃO é estatístico
Porém, não temos essa alternativa. Aí, é hora de colocar o ‘cucuruto’ para funcionar: podemos ‘transformar’ uma conjunção em uma condicional? Vale a pena dar uma olhada na questão do dia 11 de março.
Assim:
Então, temos:
~(M ^ N) = (M -> ~N) = SE Mário é contador, ENTÃO Norberto NÃO é estatístico
Resposta correta: letra D.
Faltam 118 questões!
Beijo no papai e na mamãe,
PH
0 comments:
Postar um comentário