Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Joana é filha de Antônia. Carla é irmã de Antônia. Disso, pode-se concluir que:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
⊻ Conector “ou” exclusivo
¬ Negação da proposição
Joana é filha de Antônia. Carla é irmã de Antônia. Disso, pode-se concluir que: