Scribd
Cargar
763 vistas1 página

Tabla Reglas Derivadas PDF

Este documento presenta una tabla con las principales reglas derivadas de la lógica de enunciados, incluyendo reglas para la implicación, la negación, la conjunción, la disyunción, la coimplicación y la interdefinición de los conectivos lógicos. La tabla describe brevemente cada regla a través de su nombre y una fórmula representativa.

Cargado por

Rralf Al
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
763 vistas1 página

Tabla Reglas Derivadas PDF

Este documento presenta una tabla con las principales reglas derivadas de la lógica de enunciados, incluyendo reglas para la implicación, la negación, la conjunción, la disyunción, la coimplicación y la interdefinición de los conectivos lógicos. La tabla describe brevemente cada regla a través de su nombre y una fórmula representativa.

Cargado por

Rralf Al
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
Está en la página 1/ 1

Tabla de Reglas Derivadas de la Lógica de Enunciados

Reglas derivadas de la implicación

Silogismo Hipotético (SH) Mutación (Mut) Identidad (Id) Carga de Premisas (Cpr)
A→B A → (B → C) A A
B→C B → (A → C) A B→A
A→C

Reglas derivadas de la negación

Contraposición 1 (Cp1) Contraposición 2 (Cp2) Contraposición 3 (Cp3) Contraposición 4 (Cp4)


A→B A → ¬B ¬A → B ¬A → ¬B
¬B → ¬A B → ¬A ¬B → A B→A
Modus Tollens (MT) Introducción de la doble negación Principio de no contradicción Principio de Tercio Excluso (PTE)
A→B (IDN) (PNC) A ∨ ¬A
¬B A ¬(A ∧ ¬A)
¬A ¬¬A

Ex Contradictione Quodlibet (ECQ)


A ∧ ¬A
B

Reglas derivadas de la conjunción

Propiedad Conmutativa (CC) Propiedad Asociativa (AC) Propiedad distributiva (DC) Idempotencia (IdC)
A∧B (A ∧ B) ∧ C A ∧ (B ∨ C) A∧A
B∧A A ∧ (B ∧ C) (A ∧ B) ∨ (A ∧ C) A
Importación (Imp) Exportación (Exp) Absorción (AbsC)
A → (B → C) (A ∧ B) → C A ∧ (A ∨ B)
(A ∧ B) → C A → (B → C) A

Reglas derivadas de la disyunción


Propiedad Conmutativa (CD) Propiedad Asociativa (AD) Propiedad Distributiva (DD) Idempotencia (IdD)
A∨B (A ∨ B) ∨ C A ∨ (B ∧ C) A∨A
B∨A A ∨ (B ∨ C) (A ∨ B) ∧ (A ∨ C) A

Absorción (AbsD) Silogismo Disyuntivo 1 (SD1) Silogismo Disyuntivo 2 (SD2)


A ∨ (A ∧ B) A∨B A∨B
A ¬B ¬A
A B
Dilema Constructivo 1 (DilC1) Dilema Constructivo 2 (DilC2) Dilema Destructivo 1 (DilD1) Dilema Destructivo 2 (DilD2)
A∨B A∨B ¬A ∨¬B ¬A ∨ ¬B
A→C A→C C→A C→A
B→C B→D C→B D→B
C A∨D ¬C ¬C ∨ ¬D

Reglas de interdefinición

Definición Implicador 1 (Df →1) Definición Implicador 2 (Df →2) Definición Conjunción 1 (Df ∧1) Definición Conjunción 2 (Df ∧2)
A→B A→B A∧B A∧B
¬(A ∧ ¬B) ¬A ∨ B ¬(A → ¬B) ¬(¬A ∨ ¬B)
Definición Disyuntor 1 (Df ∨1) Definición Disyuntor 2 (Df ∨2) Ley de Morgan 1 (DM1) Ley de Morgan 2 (DM2)
A∨B A∨B ¬(A ∧ B) ¬(A ∨ B)
¬A → B ¬(¬A ∧ ¬B) ¬A ∨ ¬B ¬A ∧ ¬B

Reglas derivadas de coimplicación

Introducción de ↔ (ICO) Eliminación de ↔ 1 (ECO1) Eliminación de ↔ 2 (ECO2) Eliminación de ↔ 3 (ECO3)


A→B A↔B A↔B A↔B
B→A A→B B→A A
A↔B B
Eliminación de ↔ 4 (ECO4) Reemplazo (R)
A↔B A ↔ B, CA
B CB
A

También podría gustarte