///
A tabela-verdade da proposição ((p ∧ q) → ~r) ⟷ q está incompleta.
| p | q | r | p ∧ q | ~r | (p ∧ q) → ~r | (p ∧ q) → ~r ⟷ q |
|---|---|---|---|---|---|---|
| V | V | V | V | F | F | F |
| V | V | F | V | V | V | ? |
| V | F | V | F | F | V | F |
| V | F | F | F | V | V | ? |
| F | V | V | F | F | V | V |
| F | V | F | F | V | V | ? |
| F | F | V | F | F | V | ? |
| F | F | F | F | V | V | F |
Os valores lógicos que completam a tabela considerando a ordem, de cima para baixo, são: