No Palácio Itamaraty há quadros de Portinari = A

No Palácio Itamaraty não há quadros de Portinari = ¬A

A ¬A

V F

V F

F V

F V

No Palácio Itamaraty há quadros de Portinari OU no Palácio Itamaraty não há quadros de Portinari

Ou = Disjunção  =  V A V ¬A

Tabela Verdade Disjunção = Minimo 1 Elemento Verdadeiro é V

A V B

V V V

V F V

F V V

F F F

Ou seja:

A V ¬A

V F V

V F V

F V V

F V V

é uma proposição sempre verdadeira.

p v ~p

Isso é uma Tautologia, uma proposição composta que sempre resulta em verdadeiro independente dos valores lógicos das proposições simples que a formam.