RESUMÃO das TABELAS-VERDADE
Conjunção ᴧ Disjunção v
P | Q | P ᴧ Q | P | Q | P v Q | |
V | V | V | V | V | V | |
V | F | F | V | F | V | |
F | V | F | F | V | V | |
F | F | F | F | F | F |
Condicional → Bicondicional ↔
P | Q | P →Q | P | Q | P↔Q | |
V | V | V | V | V | V | |
V | F | F | V | F | F | |
F | V | V | F | V | F | |
F | F | V | F | F | V |
Disjunção exclusiva v Negação ~
P | Q | P vQ | P | ~P | |
V | V | F | V | F | |
V | F | V | F | V | |
F | V | V | |||
F | F | F | |||
TAUTOLOGIA: É uma proposição em que todos os valores resultantes da Tabela-Verdade são VERDADEIROS.
CONTRADIÇÃO: É uma proposição em que todos os valores resultantes da Tabela-Verdade são FALSOS.
CONTINGÊNCIA: Qualquer proposição em que os valores resultantes da Tabela-Verdade são mistos, ou seja, V ou F.
IMPLICAÇÃO: Ocorre quando a condicional é uma tautologia.
EQUIVALÊNCIA: Ocorre quando a bicondicional é uma tautologia. Duas proposições são equivalentes quando apresentam a mesma sequência de valores na Tabela-Verdade.
