///
Considere a figura associada à tabela-verdade inicial da fórmula ( P → ~R ) ∨ S , onde apresentamos as colunas iniciais das interpretações do valor-lógico dos símbolos proposicionais P, R e S. A avaliação correta da última coluna da correspondente tabela-verdade, onde ~ representa o conetivo da negação, → representa o conetivo do condicional e ∨ representa o conetivo da disjunção, é:
| P | R | S |
|---|---|---|
| V | V | V |
| V | V | F |
| V | F | V |
| V | F | F |
| F | V | V |
| F | V | F |
| F | F | V |
| F | F | F |