A equivalência da Lei De Morgan representada por ∼ (𝑃 ∧ Q) ↔...
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional
Bicondicional ↔
A equivalência da Lei De Morgan representada por ∼ (𝑃 ∧ Q) ↔ (∼ P ∨∼ 𝑄) descreve que a sentença: “Nego que Mário atualizou os fichários manuais e eletrônicos” é equivalente a: