///
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Observe a seguinte tabela-verdade.
P | Q | P ⇒ Q |
Verdadeiro | Verdadeiro | Verdadeiro |
Verdadeiro | Falso | Falso |
Falso | Verdadeiro | Verdadeiro |
Falso | Falso | "???" |
O valor lógico que completa a sentença “???” na tabela acima é: