SSC-ITCR

Escuela de Ciencias y Letras

Matemtica Discreta

Prof. Esteban Ballestero

I Semestre 2014

Algunas Reglas de Inferencia Lgica

Nombre

Implicaciones
Premisa(s)

Simplificacin (Simp)
Adjuncin (Adj)
Adicin (Adi)
Separacin (Sep) o Modus Ponendo
Ponens (MPP o MP)
Modus Tollendo Tollens (MTT o MT)
Silogismo Hipottico (SH)
Silogismo Disyuntivo (SD) o Modus
Tollendo Ponens (MTP)
Dilema Constructivo (DC)

Conclusin
a. P
b. Q

PQ
a.P
b.Q
P
a.P
b.P Q
a.P Q
b. Q
a.P Q
b.Q R
a.P Q
b. P
a.P Q
b.P R
c.Q S

PQ
PQ
Q

P
PR
Q
R S

Algunas Equivalencias Tautolgicas

Nombre
Idempotencia (Idem)
Doble Negacin (DN)
Definicin de Equivalencia (DE)
Contrapositiva (Cont)
Leyes de De Morgan (DM)
Definicin de implicacin (DI)
Negacin de Implicacin (NI)
Implicacin y Disyuncin (I y D)
Leyes Distributivas (LD)
Exportacin (Exp)
Conmutatividad (Conmut)
Neutro (N)

Inversos (Inv)
Dominacin (Dom)
Absorcin (Abs)
Asociacin (Asoc)

PP o PP
P
P Q
PQ
(P Q)
(P Q)
PQ
( P Q)
PQ
P (Q R)
P (Q R)
P (Q R)
PQ
PQ
P F0

Equivalencia

P
(P Q) ( Q P)

Q P

P Q

P Q

(P Q)

P Q

P Q

(P Q) (P R)

(P Q) (P R)

(P Q) R

Q P

QP

P T0

P P

T0

P P

F0

P F0

F0

P T0
P (P Q)
P (P Q)
P (Q R)
P (Q R)

T0
P
P
(P Q) R
(P Q) R