///
Abaixo está apresentada a tabela verdade, incompleta, da proposição composta (p ∨ q) → (r ∧ ~q):
| 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: