FORMULARIO DE LOGICA

TABLAS DE VERDAD
CONJUNCION (^)
(p ^ q) : V ^ V = V (los demás F)
DISYUNCION (v)
(p v q) : F v F = F (los demás V)
IMPLICACION ( )
(p q) : V F = F (los demás V)
DOBLE IMPLICACION ( )
(p q) V F = F (los demás V)
F V = F
DISYUNCION EXCLUSIVA ( v )
(p v q) V v F = V (los demás F)
F v V = V

LEYES LOGICAS
1) LEYES DE IDEMPOTENCIA
p^p=p ; pvp=p
2) LEYES CONMUTATIVAS
p^q=q^p ; pvq=qvp
3) LEYES ASOCIATIVAS
(p ^ q) ^ r = p ^ (q ^ r) ; (p v q) v r = p v (q v r)
4) LEYES DE NEGACION
~(~p) = p ; p ^ ~p = F ; p v ~p = V
5) LEYES DE IDENTIDAD
p^V=p ; pvF=p

6) LEYES DE DE MORGAN
~(p ^ q) = ~p v ~q ; ~(p v q) = ~p ^ ~q
7) DEFINICION DE IMPLICACION
p q = ~p v q ; p q = ~q ~p
8) LEYES DISTRIBUTIVAS
p ^ (q v r) = (p ^ q) v (p ^ r) ; p v (q ^ r) = (p v q) ^ (p v r)
9) LEYES DE ABSORCION
p ^ (p v q) = p ; p v (p ^ q) = p ; p^F=F ; pvV=V
10) DEFINICION DE DOBLE IMPLICACION
p q = (p q) ^ (q p)
REGLAS DE INFERENCIA
1) MODUS PONENDO PONENS (PP)
p q
p
q
2) MODUS TOLLENDO TOLLENS (TT)
p q
~q
~p
3) MODUS TOLLENDO PONENS (TP)
a) p v q b) p v q
~p ~p
q p
4) LEY DEL SILOGISMO HIPOTETICO (SH)
p q
q r
p r
5) LEY DE SIMPLIFICACION (LS)
a) p ^ q b) p ^ q
p q
6) LEY DE CONJUNCION (LC)
p
q
p^q
7) LEY DE ADICION (LA)
p
pvq
8) DILEMA CONSTRUCTIVO (DC)
p q
r t
p v r
q v t
9) DILEMA DESTRUCTIVO (DD)
p q
r t
~q v ~t
~p v ~r