3 - Tabelas verdades com negação

Condicional ?!
Bicondicional ?!
E agora ainda tem a Negação ?!

Calma! Continue atento! A negação é muito fácil também.
Ao longo desta Unidade você terá cada vez mais habilidade na prática do importante método de tabela verdade e, portanto, bem confortável com as regras das operações lógicas.

Considere agora uma proposição composta por mais de uma operação lógica, contando com a presença da negação:

Ou seja:

~a → b

Ou, ainda, com mais de duas proposições simples presentes na composição, como é o caso do exemplo abaixo:

Ou seja:

p ↔ ~q ∧ r