Repaso 3ro - Lógica

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)

En un modus ponendo ponens:

• El consecuente es la negada del antecedente

• Si el antecedente se afirma, se afirma el consecuente

• No se obtiene una conclusión

Tú decides si actuar o acatar y si no acatas, entonces actúa

• La conclusión se obtiene por silogismo hipotético puro

• La conclusión obtenida no es válida

• La conclusión se obtiene por silogismo disyuntivo

(∼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