A tabela verdade é um dispositivo prático essencial para a caracterização dos valores lógicos de uma dada proposição composta. O processo de criação da tabela verdade de uma proposição composta se inicia na contagem do número de proposições simples que a compõem.

É importante observar que tal fato nos leva à construção de uma tabela verdade correspondente a qualquer proposição composta dada. Desta forma, a tabela verdade da proposição composta ~ (p ∨ ~ q) é dada por:

Opções de pergunta 2:

a) 

p

q

~q

p˅~q

~(p˅~q)

V

V

F

V

F

V

F

V

V

V

F

V

F

F

V

F

F

V

V

V

b) 

p

q

~q

p˅~q

~(p˅~q)

V

V

F

V

V

V

F

V

V

F

F

V

F

F

V

F

F

V

V

F

c) 

p

q

~q

p˅~q

~(p˅~q)

V

V

F

V

F

V

F

V

V

F

F

V

F

F

V

F

F

V

V

F

d) 

p

q

~q

p˅~q

~(p˅~q)

V

V

F

V

F

V

F

V

V

F

F

V

F

F

F

F

F

V

V

F

e) 

p

q

~q

p˅~q

~(p˅~q)

V

V

F

V

V

V

F

V

V

V

F

V

F

F

V

F

F

V

V

V