Raciocinio Lógico e Matematica para concursos - CESPE.UNB - Fabricio Mariano - 2013

Q: Felipe é bombeiro.
P Q: Sandro é médico ou Felipe é bombeiro.
¬ (P Q) = ¬ P ¬ Q
Negação direta: ¬ (P Q): Não é verdade que Sandro é médico ou Felipe é
bombeiro.
Negação equivalência: (¬ P ¬ Q): Sandro não é médico e Felipe não é
bombeiro.
Aplicação 2:
P: Todo professor é inteligente.
¬P: PEA + NÃO (MACETE).
“Pelo menos um professor não é inteligente”.
“Existe um professor que não é inteligente”.
“Algum professor não é inteligente”.
Aplicação 3:
P: Nenhum médico é inteligente.
¬P: PEA (MACETE)
“Pelo menos um médico é inteligente”.
“Existe um médico que é inteligente”.
“Algum médico é inteligente”.
Aplicação 4:
P: Algum matemático é maluco.
¬P: NETONÃO (MACETE)
“Nenhum matemático é maluco”.
“Todo matemático não é maluco”.
Aplicação 5:
P: 2 + 5 = 9.
¬P: 2 + 5 ≠ 9.
1.12. Equivalência lógica
São estruturas lógicas que possuem a mesma tabuada lógica.
1.12.1. Equivalências notáveis.