Feriado é dia de… Fazer exercício de lógica! Vamos lá: 
(CESPE/PREVIC 2011) A negação da proposição “Se um trabalhador tinha qualidade de segurado da previdência social ao falecer, então seus dependentes têm direito a pensão” é logicamente equivalente à proposição “Um trabalhador tinha qualidade de segurado da previdência social ao falecer, mas seus dependentes não têm direito a pensão”.
A questão trata da negação de uma condicional. Vejamos de forma simples:
¬(A->B) <–> Ae¬B
Leia-se a negação da condicional (se A então B) é uma conjunção ( A e Não B)
Questão portanto correta, mas, para que não deixe dúvidas, ampliar nosso horizonte, pois imagine que na hora da prova o candidato não saiba desta “regra.
Vamos usar a tabela-verdade:
| A | B | ¬B | A->B | ¬(A->B) | Ae¬B |
| V | V | F | V | F | F |
| V | F | V | F | V | V |
| F | V | F | V | F | F |
| F | F | V | V | F | F |
Perceba que as duas últimas colunas formam equivalência lógica.
Material cedido pelo professor auxiliar Fernando Medeiros
Comentar