///
Considere a figura associada à tabela-verdade inicial da fórmula (P → ~ RVS) , 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 |