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