Anuncio
```Tabla de Reglas Derivadas de la L&oacute;gica de Enunciados
Silogismo Hipot&eacute;tico (SH)
A→B
B→C
A→C
Mutaci&oacute;n (Mut)
A → (B → C)
B → (A → C)
A
A
Carga de Premisas (Cpr)
A
B→A
Contraposici&oacute;n 1 (Cp1)
A→B
&not;B → &not;A
Contraposici&oacute;n 2 (Cp2)
A → &not;B
B → &not;A
Contraposici&oacute;n 3 (Cp3)
&not;A → B
&not;B → A
Contraposici&oacute;n 4 (Cp4)
&not;A → &not;B
B→A
Modus Tollens (MT)
A→B
&not;B
&not;A
Introducci&oacute;n de la doble negaci&oacute;n
(IDN)
A
&not;&not;A
(PNC)
&not;(A ∧ &not;A)
Principio de Tercio Excluso (PTE)
A ∨ &not;A
A ∧ &not;A
B
A∧B
B∧A
(A ∧ B) ∧ C
A ∧ (B ∧ C)
Importaci&oacute;n (Imp)
A → (B → C)
(A ∧ B) → C
Exportaci&oacute;n (Exp)
(A ∧ B) → C
A → (B → C)
A ∧ (B ∨ C)
(A ∧ B) ∨ (A ∧ C)
Idempotencia (IdC)
A∧A
A
Absorci&oacute;n (AbsC)
A ∧ (A ∨ B)
A
A∨B
B∨A
(A ∨ B) ∨ C
A ∨ (B ∨ C)
Absorci&oacute;n (AbsD)
A ∨ (A ∧ B)
A
Silogismo Disyuntivo 1 (SD1)
A∨B
&not;B
A
Dilema Constructivo 1 (DilC1)
A∨B
A→C
B→C
C
Dilema Constructivo 2 (DilC2)
A∨B
A→C
B→D
A∨D
A ∨ (B ∧ C)
(A ∨ B) ∧ (A ∨ C)
Idempotencia (IdD)
A∨A
A
Silogismo Disyuntivo 2 (SD2)
A∨B
&not;A
B
Dilema Destructivo 1 (DilD1)
&not;A ∨&not;B
C→A
C→B
&not;C
Dilema Destructivo 2 (DilD2)
&not;A ∨ &not;B
C→A
D→B
&not;C ∨ &not;D
Reglas de interdefinici&oacute;n
A→B
&not;(A ∧ &not;B)
A→B
&not;A ∨ B
Definici&oacute;n Conjunci&oacute;n 1 (Df ∧1)
A∧B
&not;(A → &not;B)
Definici&oacute;n Conjunci&oacute;n 2 (Df ∧2)
A∧B
&not;(&not;A ∨ &not;B)
Definici&oacute;n Disyuntor 1 (Df ∨1)
A∨B
&not;A → B
Definici&oacute;n Disyuntor 2 (Df ∨2)
A∨B
&not;(&not;A ∧ &not;B)
Ley de Morgan 1 (DM1)
&not;(A ∧ B)
&not;A ∨ &not;B
Ley de Morgan 2 (DM2)
&not;(A ∨ B)
&not;A ∧ &not;B
Introducci&oacute;n de ↔ (ICO)
A→B
B→A
A↔B
Eliminaci&oacute;n de ↔ 4 (ECO4)
A↔B
B
A
Eliminaci&oacute;n de ↔ 1 (ECO1)
A↔B
A→B
Eliminaci&oacute;n de ↔ 2 (ECO2)
A↔B
B→A
Reemplazo (R)
A ↔ B, CA
CB
Eliminaci&oacute;n de ↔ 3 (ECO3)
A↔B
A
B
```