Está en la página 1de 1

Equivalencias en Lgica o E0 E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 T F , F T ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) F T T F TT FF ( ) ( ) ( ) ( )

Equivalencia Base Ley de la doble negacin o

Reglas de Inferencia I1 F ( ) ( ) x, F (x) F (a) x, F (x) F (a) F (a) x, F (x) F (a) x, F (x)
Modus Ponens

Leyes de De Morgan

I2
Leyes conmutativas

Ley del silogismo o Silogismo Hipottico e

Leyes asociativas

I3

Modus Tollens

Leyes distributivas

I4
Leyes de idempotencia

Adicin conjuntiva o

Leyes de identidad o de neutros

I5

Silogismo disjuntivo

Leyes de inversas o de negacin o

I6 I7 I8

Regla de contradiccin o

Leyes de dominacin o

Simplificacin conjuntiva o

Leyes de absorcin o

Adicin disjuntiva o

Equivalencias Sobre Condicional y Bicondicional E11 E12 E13


Equivalencia implicacin o Contrapositiva

I9

Prueba condicional

Equivalencias en Lgica de Predicados o E14 E15 E16 E17 E18 (x, F (x)) x, F (x) (x, F (x)) x, F (x) (Qx, F (x)) G Qx, (F (x) G) (Qx, F (x)) G Qx, (F (x) G) (x, F (x)) (x, G(x)) x, (F (x) G(x)) (x, F (x)) (x, G(x)) x, (F (x) G(x)) (Q1 x, F (x)) (Q2 x, G(x)) Q1 x Q2 z, (F (x) G(z)) (Q1 x, F (x)) (Q2 x, G(x)) Q1 x Q2 z, (F (x) G(z)) Leyes en Teor de Conjuntos a S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 (A ) = A (A B)c = Ac B c (A B)c = Ac B c AB =BA AB =BA A (B C) = (A B) C A (B C) = (A B) C A (B C) = (A B) (A C) A (B C) = (A B) (A C) AA=A AA=A A=A AU =A A Ac = U A Ac = AU =U A= A (A B) = A A (A C) = A A B = A Bc
c c
Ley del doble complemento

I10

Prueba por casos

I11

Dilema constructivo

I12

Dilema destructivo

Lema 1

Leyes de De Morgan

Lema 3

Leyes conmutativas

I13
Leyes asociativas

Instanciacin universal o

I14
Leyes distributivas

Instanciacin existencial (a nueva) o

I15
Leyes de idempotencia

Cuantificacin existencial o

I16
Leyes de identidad

Generalizacin (a arbitraria) o

Tablas de Verdad
Leyes de complemento

p
Leyes de dominacin o

q F T F T

p T T F F

pq F T T T

p F T T F

pq F F F T

pq T T F T

pq T F F T

F F T

Leyes de absorcin o

Ley de la dif. de conj.