Texto associado
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional →
Bicondicional ↔
Considere a proposição simples P verdadeira e a proposição simples Q falsa então
deduzimos que a proposição composta falsa é: