Exercício de lógica formal

Demonstre que a as duas proposições complexas são equivalentes:

1. Não é verdade que a lógica formal é difícil e é complexa.
2 - A lógica formal não é difícil ou a lógica formal não é complexa

É um exercício que aplica a 1.ª lei de De Morgan: ¬(p ∧ q) → (¬p ∨ ¬q)

A crença verdadeira justificada - exercício 1

SITUAÇÃO-PROBLEMA:
1. o João afirmou ir no dia 1 comprar uns sapatos vermelhos.
2. O Manuel, no dia 2, viu que o João calçava sapatos vermelhos.
3. O Manuel desenvolveu a crença na seguinte proposição: O João comprou uns sapatos vermelhos.
4. pergunta-se:
A) o Manuel tem justificação para a sua crença?
B) O manuel tem garantias de que a sua proposição é verdadeira?