REGLAS DE INFERENCIA
Modus Ponens (MP)
pq
Ley de Combinación (LC)
p
q
pq
p
q
Modus Tollens (MT)
Ley de Adición (LA)
pq
p
q
pq
p
Silogismo Hipotético (SH)
Dilema Constructivo (DC)
pq
( p  q)  ( r  s )
qr
pr
pr
q  s
Silogismo Disyuntivo (SD)
pq
pq
p
q
q
p
Particularización Universal (PU)
Dilema Destructivo (DD)
( p  q)  ( r  s )
q  s
p  r
Generalización Universal (GU)
x : P ( x )
P(a )
 P(a )
x : P( x )
Particularización Existencial (PE)
Generalización Existencial (GE)
x : P ( x )
P(a )
 P(a )
x : P ( x )