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, é: