TRABAJO DE RAZONAMIENTO LOGICO

REGLAS DE INFERENCIA.

KELLY ALVAREZ 2¨A¨

NOMBRE ABREVIACION FORMA

SILOGISMO DISYUNTIVO S.Dp v q~ q.·. p

MODUS TOLLENS M.Dp ᴐ q~ p

.·. ~ q

MODUS PONENS M.Pp ᴐ q

p.·. q

SILOGISMO HIPOTETICO S.Hp ᴐ qq ᴐ r

.·. r ᴐ s

ABSORCION AB.p ᴐ q

.·.q ᴐ ( p . q )

DILEMA CONSTRUCTIVO D.C ( p ᴐ q) . ( r ᴐ s)p v r

.·.q v s

SIMPLIFICACION SIM. p . q.·.p

CONJUNCIÓN CONJ.pq

.·. p . q

ADICIÓN AD.p

.·. p v q