Uma proposição equivalente de P ⟹ Q é:
Lista de símbolos:
⟹ Condicional
⟺ Bicondicional
∧ Conector “e”
∨ Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
Lista de símbolos:
⟹ Condicional
⟺ Bicondicional
∧ Conector “e”
∨ Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição