1

A.- TRMINOS DE ENLACE O CONECTIVOS LGICOS

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)

B.- OPERACIONES PROPOSICIONALES a.- NEGACIN.- () b.- CONJUNCIN ( )

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

d.- IMPLICACIN O CONDICIONAL ()

e.- DOBLE IMPLICACIN O BICONDICIONAL.-()

f.- DIFERENCIA SIMTRICA.- ( )

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

C.- LEYES LGICAS INVOLUCIN : IDEMPOTENCIA: IDENTIDAD: p F p V p p p p V p F F p V V p

( 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

q) (p r) q) (pr) q) (pr) q) (pr)

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

D.- RAZONAMIENTO DEDUCTIVO VALIDO

LEY DEL MODUS PONENS: LEY DEL MODUS TOLLENS: LEY DEL SILOGISMO HIPOTTICO:

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: