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