Scribd
Cargar
20 vistas3 páginas

Formas Normales 20242578028

El documento presenta las formas normales de lógica matemática, incluyendo el Modus Tollendo Ponens, Silogismo Hipotético y Silogismo Disyuntivo. Cada sección detalla las equivalencias y transformaciones lógicas asociadas a cada forma, utilizando reglas como De Morgan, distribución y dominación. Se expone un enfoque sistemático para demostrar la validez de estas formas lógicas a través de equivalencias y simplificaciones.

Cargado por

tomasmbolivar
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
20 vistas3 páginas

Formas Normales 20242578028

El documento presenta las formas normales de lógica matemática, incluyendo el Modus Tollendo Ponens, Silogismo Hipotético y Silogismo Disyuntivo. Cada sección detalla las equivalencias y transformaciones lógicas asociadas a cada forma, utilizando reglas como De Morgan, distribución y dominación. Se expone un enfoque sistemático para demostrar la validez de estas formas lógicas a través de equivalencias y simplificaciones.

Cargado por

tomasmbolivar
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Sebastian Cortes Parra – 20242578028

Formas Normales de Lógica Matemática

15 de noviembre de 2024

• Modus Tollendo Ponens

[(P v Q) ^ ¬ P] → Q

¬ [(P v Q) ^ ¬P] v Q (EQUIVALENCIA)

¬ (P v Q) v P v Q (DE MORGAN)

(¬ P ^ ¬ Q) v P v Q (FND)

[(¬ P ^ ¬ Q) v P] v Q (ASOCIATIVA)

[(¬ P v P) ^ (¬ Q v P)] v Q (DISTRIBUTIVA)

[T ^ (¬ Q v P)] v Q (MEDIO EXLUIDO)

(¬ Q v P) v Q (IDENTIDAD)

¬ Q v P v Q (ASOCIATIVA)

¬ Q v Q v P (CONMUTATIVA)

(¬ Q v Q) v P (ASOCIATIVA)

T v P (MEDIO EXCLUIDO)

T (DOMINACION)
• Silogismo Hipotético

[(P → Q) ^ (Q → R)] → (P → R)

¬ [(¬ P v Q) ^ (¬ Q v R)] v (¬ P V R) (EQUIVALENCIA)

¬ (¬ P v Q) v ¬ (¬ Q v R) v (¬ P v R) (DE MORGAN)

(P ^ ¬ Q) v (Q ^ ¬ R) v (¬ P v R) (DE MORGAN)

(P ^ ¬ Q) v (Q ^ ¬ R) v ¬ P v R (FND)

(P ^ ¬ Q) v ¬ P v (Q ^ ¬ R) v R (CONMUTATIVA)

[(P ^ ¬ Q) v ¬ P] v [(Q ^ ¬ R) v R] (ASOCIATIVA)

[(P v ¬ P) ^ (¬Q v ¬ P)] v [(Q v R) ^ (¬ R v R)] (DISTRIBUTIVA)

[T ^ (¬Q v ¬ P)] v [(Q v R) ^ T] (MEDIO EXCLUIDO)

(¬Q v ¬ P) v (Q v R) (IDENTIDAD)

¬Q v ¬ P v Q v R (ASOCIATIVIDAD)

¬Q v Q v ¬ P v R (CONMUTATIVIDAD)

(¬Q v Q) v (¬ P v R) (ASOCIATIVIDAD)

T v (¬ P v R) (MEDIO EXLUIDO)

T (DOMINACION)

• Silogismo Disyuntivo

[(P v Q) ^ (P → R) ^ (Q → S)] → (R v S)

¬ [(P v Q) ^ (¬ P v R) ^ (¬ Q v S)] v (R v S) (EQUIVALENCIA)

¬ (P v Q) v ¬ (¬ P v R) v ¬ (¬ Q v S) v (R v S) (DE MORGAN)

(¬ P ^ ¬ Q) v (P ^ ¬ R) v (Q ^ ¬ S) v R v S (FND) (DE MORGAN Y ASOCIATIVA)

(¬ P ^ ¬ Q) v [(P ^ ¬ R) v R] V [(Q ^ ¬ S) v S] (CONMUTATIVO Y ASOCIATIVO)


(¬ P ^ ¬ Q) v [(P v R) ^ (¬ R v R)] V [(Q v S) ^ (¬ S v S)] (DISTRIBUTIVO)

(¬ P ^ ¬ Q) v [(P v R) ^ T]V [(Q v S) ^ T] (MEDIO EXLUIDO)

(¬ P ^ ¬ Q) v (P v R) v (Q v S) (IDENTIDAD)

(¬ Q v Q) ^ (¬P v P) v (R v S) (ASOCIATIVA Y CONMUTATIVA)

T ^ T v (R v S) (MEDIO EXLUIDO)

T v (R v S) (IDENTIDAD)

T (DOMINACION)

También podría gustarte