1

A.- TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS

CONECTIVO OPERACIÓN ASOCIADA SIGNIFICADO

 Negación No p o no es cierto que p

 Conjunción o producto Lógico
 Disyunción o suma Lógica
 Implicación o Condicional
 Doble implicación
 Diferencia simétrica
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.- NEGACIÓN.- () b.- CONJUNCIÓN (  ) c.- DISYUNCIÓN (  )

p p p  q p  q
V F V V V V V V
F V V F F V V F
F F V F V V
F F F F F F
d.- IMPLICACIÓN e.- DOBLE IMPLICACIÓN f.- DIFERENCIA
O CONDICIONAL () O BICONDICIONAL.-() SIMÉTRICA.- (  )

p  q p  q p  q

V V V V V V V F V
V F F V F F V V F
F V V F F V F V V
F V F F V F F F F

C.- LEYES LÓGICAS

IDENTIDAD:
INVOLUCIÓN :  ( p)  p p  F  p
V p  p

IDEMPOTENCIA: p  p  p LEY DE ABSORCION:

p  p  p p  F  F
p  V  V
LEY DE LA CONTRARECIPROCA:
p  q  q  p
 2

ASOCIATIVIDAD: LEY DEL COMPLEMENTO:

p (q  r)  (p  q)  r p   p  V
p (q  r)  (p  q)  r p   p  F
p  (q  r)  (p  q) 
r
LEY * :
DISTRIBUTIVIDAD: p (p  q) 
p (q  r)  (p  q)  (p r) p
p (q  r)  (p  q)  (pr) p (p  q)  p
p (q  r)  (p  q)  (p CONMUTATIVIDAD:
r)
p  q  q  p
p (q  r)  (p  q)  (pr)
p  q  q p
EQUIVALENTES LÓGICOS: p  q  q  p
p  q  p  q
p  q  (p  q) (q  LEYES DE D´MORGAN:
p) (p  q)  p  
q
LEY ** :
p  ( p  q)  p  q
(p  q)  p  
p  ( p  q )  p 

D.- RAZONAMIENTO DEDUCTIVO VALIDO

LEY DEL MODUS LEY DEL MODUS LEY DEL SILOGISMO

PONENS: TOLLENS: HIPOTÉTICO:
p  q p  q p  q
p q q  r
q p  r
 p

LEY DE LA CONJUNCION:
LEY DEL MODUS SILOGISMO p
TOLLENDO PONENS: DISYUNTIVO: q
p  q p q p  q p  q
 p  q p  r
q p q  s LEY DE LA ADICION:
r  s p
SIMPLIFICACIÓN:
p  q p  q p  A
p q