UNIVERSIDAD CSAR VALLEJO LIMA NORTE

PROGRAMA DE FORMACIN GENERAL - CICLO ALFA 2013 -II

INFERENCIAS LGICAS
REGLAS DE INFERENCIA: Son argumentos vlidos, tautolgicos, implicaciones notables, que no
necesitan demostracin para verificar su validez.
PONENDO = AFIRMANDO
PONENS = AFIRMO
TOLLENDO = NEGANDO
TOLLENS = NIEGO

MODUS
PONENDO
PONENS
MPP
P1: pq
P2: p
C: q
P1: pq
P2: p
C: q
P1: pq
P2: q
C: p

MODUS
TOLLENDO
TOLLENS
MTT
P1: pq
P2: ~q
C: ~p
P1: pq
P2: ~p
C: ~q
P1: pq
P2: ~q
C: ~p

MODUS
PONENDO
TOLLENS
MPT
P1: pq
P2: p
C: ~q
P1: pq
P2: q
C: ~p

MODUS
TOLLENDO
PONENS
MTP
P1: p q
P2: ~p
C: q
P1: p q
P2: ~q
C: p
P1: pq
P2: ~p
C: q
P1: pq
P2: ~q
C: p
SILOGISMO
HIPOTTICO
PURO
SHP
P1: pq
P2: qr
C: pr
P1: pq
P2: r p
C: r q
P1: pq
P2: qr
C: pr
P1: pq
P2: r p
C: r q
DILEMA
CONSTRUCTIVO
COMPUESTO
DCC
P1: pq
P2: r s
P3: p r
C: q s

DILEMA
DESTRUCTIVO
COMPUESTO
DDC
P1: pq
P2: r s
P3: ~q ~s
C: ~p ~r