Morgan

La equivalencia de (∼p v ∼q)

• ∼(p v q)

• ∼(p ʌ q)

• (p ʌ q)

La fórmula: (p v ∼q ) ʌ q → [(∼p v q ) ʌ q] se obtiene por:

• Silogismo disyuntivo

• Adjunción

• Modus tollendo tollens

(∼p v ∼p) es equivalente a ∼p por:

• idempotencia

• doble negación

"Todo enunciado p = p es verdadero"

• Principio de identidad

• Principio de no contradicción

• Principio del tercero excluido

El equivalente de (p➜q) es:

• (∼p v q)

• (p v ∼q)

• ∼(p ʌ q)

En la ley conmutativa de equivalencias notables

• p ↔ q no tiene una equivalencia notable

• (p ʌ q) es equivalente a (p v q)

• (p Δ q) es equivalente a (q Δ p)

(∼q ➜ ∼p) es equivalente a:

• ∼(p ∧ q)

• (p➜q)

• ∼(q➜p)

"Nada puede ser p y ∼p al mismo tiempo"

• Principio de identidad

• Principio de no contradicción

• Principio del tercero excluido

[(p v ∼q) ʌ p] es equivalente a:

• p

• (p ʌ q)

• (p v q)