Formulario de Algebra I Lgica Matemtica

Lgica Matemtica

Conectivos Lgicos

Conectivo Smbolo Significado

Conjuncin pq pyq
Disyuncin inclusiva p q pq
Disyuncin excluyente p q opq
Condicional pq p entonces q
Bicondicional p q p si y solo si q
Negacin ~ ~p no p
Negacin Conjunta p q ni p ni q
Negacin Alterna / p/q p incompatible con q

Tablas de Verdad

p q pq p q p q pq p q ~p p q p/q
V V V V F V V F F F
V F F V V F F F F V
F V F V V V F V F V
F F F F F V V V V V

Leyes Lgicas

Doble Negacin ~ (~ p) p
p qq p
Conmutatividad
p qq p
p (q r) (p q) r
Asociatividad
p (q r) (p q) r
p (q r) (p q) (p r)
Distributividad
p (q r) (p q) (p r)
p Vp
p FF
Condiciones de Identidad
p VV
p Fp
p ~pF
Condiciones de Negacin
p ~pV
p pp
Idempotencia
p pp
Definicin de Implicacin p q~p q
Definicin de Equivalencia p q (p q) (q p)
p (p q) p
Leyes de Absorcin
p (p q) p
~ (p q) ~ p ~ q
Leyes de Morgan
~ (p q) ~ p ~ q

http://carlos-eduardo.webs.tl 1
Formulario de Algebra I Lgica Matemtica

Reglas de Inferencia

p
Adicin ----------
p q

pq p q
Simplificacin --------- --------
p q
p
q
Conjuncin
----------
pq
pq
p
Modus Ponens
--------------
q
~q
pq
Modus Tollens
--------------
~p
pq
qr
Silogismo Hipottico
-------------
pr
p q pq
~p ~q
Silogismo Disyuntivo
-------------- --------------
q p
pq
rs
Dilema Constructivo p r
-------------
q s
pq
rs
Dilema Destructivo ~q ~s
-------------
~p ~r

Contrarecprocos
~ ~

~ ~

http://carlos-eduardo.webs.tl 2