Considere a seguinte proposição lógica:
“Hoje choveu e eu não fui à praia”
A negação lógica dessa proposição é:
“Hoje não choveu ou eu fui à praia”
Uma proposição equivalente a esta última é:
“Hoje choveu e eu não fui à praia”
A negação lógica dessa proposição é:
“Hoje não choveu ou eu fui à praia”
Uma proposição equivalente a esta última é: