Subido por benzina.mohamed

# LOGICAReglasCalculoDeProposiciones

Anuncio
```Reglas b&aacute;sicas de implicaci&oacute;n
A→B
A
A
&Oslash;...
B
A→B
B
Reglas b&aacute;sicas de conjunci&oacute;n
Eliminaci&oacute;n del Conjuntor EC, Simp.
EC1 &oacute; Simp1
Introducci&oacute;n del Conjuntor IC, Prod.
EC2 &oacute; Simp2
A
A∧B
A
A∧B
B
B
A∧B
Reglas b&aacute;sicas de disyunci&oacute;n
Eliminaci&oacute;n del Disyuntor ED, Cas.
A∨B
A
&Oslash;...
C
B
&Oslash;...
C
A
A∨B
B
A∨B
C
Reglas b&aacute;sicas de negaci&oacute;n
&not;&not;A
A
A
&Oslash;...
B ∧ &not;B
&not;A
Mut
Mutaci&oacute;n de premisas
Sil
Silogismo
A→B
B→C
A→C
Id
A → (B → C)
B → (A → C)
Cpr
Carga de premisas
A
A
A
B→A
Reglas derivadas de CONJUNCI&Oacute;N y DISYUNCI&Oacute;N
CD
Conmutativa de la disyunci&oacute;n
CC
Conmutativa de la conjunci&oacute;n
A∧B
B∧A
AC
Asociativa de la conjunci&oacute;n
Asociativa de la disyunci&oacute;n
(A ∧ B) ∧ C
DC
Distributiva de la conjunci&oacute;n
A ∧ (B ∧ C)
A ∧ (B ∨ C)
(A ∧ B) ∨ (A ∧ C)
IdC
Idempotencia de la conjunci&oacute;n
(A ∨ B) ∨ C
DD
Distributiva de la disyunci&oacute;n
A ∨ (B ∨ C)
IdD
Idempotencia de la disyunci&oacute;n
A∧A
A
AbsC
Ley de Absorci&oacute;n de la conjunci&oacute;n
A ∧ (A ∨ B)
A
A∨B
B∨A
A ∨ (B ∧ C)
(A ∨ B) ∧ (A ∨ C)
A∨A
A
AbsD
Ley de Absorci&oacute;n de la disyunci&oacute;n
A ∨ (A ∧ B)
A
MT
Modus Tollens
Cp
Contraposici&oacute;n
A→B
&not;B → &not;A
IDN
A→B
&not;B
&not;A
ECQ
A
&not;&not;A
A ∧ &not;A
B
PNC
PTE
Principio de tercio excluso
&not;(A ∧ &not;A)
Reglas adicionales de CONJUNCI&Oacute;N y DISYUNCI&Oacute;N
Exp
Ley de exportaci&oacute;n
Imp
Ley de importaci&oacute;n
SD1
Silogismo disyuntivo 1
A ∨ &not;A
A → (B →C)
A∧B→C
SD2
Silogismo disyuntivo 2
A∨B
&not;B
A
Dil1
Dilema 1
A∨B
&not;A
B
Dil2
Dilema 2
A∨B
A→C
B→C
C
Dil3
Dilema 3
Simetr&iacute;a
DI1
DfC1
Definici&oacute;n de conjunci&oacute;n 1
DfC2
Definici&oacute;n de conjunci&oacute;n 2
DM1
Leyes de DE MORGAN
&not;A ∨ &not;B
C→A
C→B
&not;C
Dil4
Dilema 4
A∨B
A→C
B→D
C∨D
ECO1
A↔B
A→B
A∧B→C
A → (B →C)
&not;A ∨ &not;B
C→A
D→B
&not;C ∨ &not;D
Reglas de COIMPLICACI&Oacute;N
ECO2
A→B
A↔B
B→A
B→A
A↔B
Consecuencias inmediatas de la definici&oacute;n del coimplicador
A↔B
A↔B
A
B
B
A
Intercambio
A↔A
A ↔ B, CA ├ CB
A↔B
A↔B
B↔A
B↔C
A↔C
Reglas de interdefinici&oacute;n de conectivas
DI2
A→B
A→B
&not;(A ∧ &not;B)
A∧B
&not;(A → &not;B)
A∧B
&not;(&not;A ∨ &not;B)
DfD1
Definici&oacute;n de disyunci&oacute;n 1
DfD2
Definici&oacute;n de disyunci&oacute;n 2
DM2
Leyes de DE MORGAN
&not;A ∨ B
A∨B
&not;A → B
A∨B
&not;(&not;A ∧ &not;B)
&not;(A ∧ B)
&not;(A ∨ B)
&not;A ∨ &not;B
&not;A ∧ &not;B
```