///
Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Observe a seguinte tabela-verdade:
Verdadeiro | Verdadeiro | Verdadeiro | Verdadeiro |
Verdadeiro | Falso | Falso | Falso |
Falso | Verdadeiro | Falso | (1) |
Falso | Falso | Falso | (2) |
Os valores lógicos que preenchem corretamente as sentenças (1) e (2) são, respectivamente: