2

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
 3

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
p (q  r)  (p  q)  (p r) p (p  q)  p
p (q  r)  (p  q)  (pr)
p (q  r)  (p  q)  (pr)
CONMUTATIVIDAD:
p (q  r)  (p  q)  (pr)
p  q  q  p
p  q  q p
p  q  q  p
EQUIVALENTES LÓGICOS:
p  q  p  q
p  q  (p  q) (q  p LEYES DE D´MORGAN:
) (p  q)  p  q
LEY ** : (p  q)  p  q
p  ( p  q)  p  q
p  ( p  q )  p  q

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
p  r
q  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  A
p  q p  q
p q