Professional Documents
Culture Documents
CONECTIVO
OPERACIN ASOCIADA
Negacin Conjuncin o producto Lgico Disyuncin o suma Lgica Implicacin o Condicional Doble implicacin Diferencia simtrica
SIGNIFICADO
No p o no es cierto que p pyq p o q (en sentido incluyente) p implica q o si p, entonces q p si y solo si q p o q (en sentido excluyente)
c.- DISYUNCIN ( )
p V F
p F V
p V V F F
V F F F
q V F V F
p V V F F
V V V F
q V F V F
p V V F F
V F V V
q V F V F
p V V F F
V F F V
q V F V F
p V V F F
F V V F
q V F V F
( p) p
p p p p
p p
CONMUTATIVIDAD:
p q q p p q q p p q q p
p F
2
ASOCIATIVIDAD: DISTRIBUTIVIDAD: p (q r) (p p (q r) (p p (q r) (p p (q r) (p
p (q r) (p q) r p (q r) (p q) r p (q r) (p q) r
EQUIVALENTES LGICOS:
p q p q p q (p q) (q p)
LEYES DE DMORGAN:
(p q) p q (p q) p q
LEYES DE ABSORCION:
p (p q) p ( p r ) p (p q) p ( p q )
p p q p p q
p q p q
LEY DEL MODUS TOLLENDO PONENS:
p q q p
SILOGISMO DISYUNTIVO:
p q q r p r
LEY DE LA CONJUNCION:
p q p q
SIMPLIFICACIN:
p q q p
p q p r q s r p p A s
p q p q
p q p
p q q
LEY DE LA ADICION: