///
| p | q | r | {[( p → r ) ∧ q] → (q ∧ ~p)} ↔ (p ∧ ~r) |
|---|---|---|---|
| V | V | V | V |
| V | V | F | |
| V | F | V | V |
| V | F | F | |
| F | V | V | V |
| F | V | F | |
| F | F | V | V |
| F | F | F |
Qual das alternativas abaixo corresponde aos valores lógicos omissos (de cima para baixo) da última coluna da tabela-verdade abaixo, com V ou F.