Considere a figura associada à tabela-verdade inicial da fór...
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 |