///
Lista de símbolos:
→ Condicional
↔️ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Considere a seguinte tabela verdade:
| B | ¬A | A ⇒ B |
|---|---|---|
| Verdadeiro | Verdadeiro | (1) |
| Verdadeiro | Falso | Verdadeiro |
| Falso | Verdadeiro | Verdadeiro |
| Falso | Falso | (2) |
Os valores lógicos que completam os espaços (1) e (2) são, respectivamente: