Abaixo está apresentada a tabela verdade, incompleta, da proposição composta (𝑝 ∨ 𝑞) → (𝑟 ∧ ~𝑞):
p | q | r | ∼ q | p∨q | r∧∼q | (p∨q)→(r∧∼q) |
V | V | V | F | V | F | F |
V | V | F | F | V | F | |
V | F | V | V | V | V | V |
V | F | F | V | V | F | |
F | V | V | F | V | F | F |
F | V | F | F | V | F | |
F | F | V | V | F | V | V |
F | F | F | V | F | F |
Com base na lógica proposicional, é possível dizer que, para completar a última coluna da tabela verdade, de forma correta, os valores lógicos que faltam, na ordem de cima para baixo, são:
A
V – V – V – V.
B
V – F – V – F.
C
V – V – F – F.
D
F – F – F – V.
E
F – F – F – F.