Tabelas de verdade

As tabelas de verdade são dispositivos que permitem determinar o valor de verdade das proposições
compostas.

Tabela de verdade da negação - «~P»

P ~P Se Se a proposição simples (P) for verdadeira, da sua negação

(~P) resultará uma proposição falsa; se a proposição simples
V F (P) for falsa, da sua negação (~P) resultará uma proposição
Tabela de verdade da conjunção - «P & Q»
verdadeira.
F V
P Q P&Q
V V V U Uma proposição complexa contendo o operador lógico «e» é
V F F verdadeira apenas no caso em que as duas proposições
F V F simples são verdadeiras.
F F F Tabela de verdade da disjunção - «P v Q»

P Q PvQ U Uma proposição complexa contendo o operador lógico «ou» só é

V V V falsa no caso de ambas as disjuntas serem falsas.
V F V
F V V
F F F

Tabela de verdade da disjunção exclusiva - «P v Q»

P Q PvQ U Uma proposição complexa contendo o operador lógico «ou…ou» só

V V F é verdadeira no caso de ambas as proposições simples
V F V apresentarem valores de verdade diferentes (uma verdadeira e
F V V outra falsa).
F F F

Tabela de verdade da condicional (ou implicação material) - «P ͢ Q»

P Q P͢ Q U Uma proposição complexa contendo o operador lógico «se…então»

V V V só é falsa se o antecedente (P) for verdadeiro e o consequente (Q)
V F F for falso.
F V V
F F V

Tabela de verdade da condicional (ou equivalência material) - «P ͍ Q»

P Q P ͍Q U Uma proposição complexa contendo o operador lógico «se…e

V V V somente se» é verdadeira se ambas as proposições simples
V F F tiverem o mesmo valor de verdade.
F V F
F F V
Exemplo de uma tabela com 3 proposições simples.
(P & Q) ͢ R

P Q R (P & Q) ͢ R

V V V V V
V V F V V
V F V F F
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V