Logica Matamtica Trabajo Colaboarativo 1

Cordial saludo;

Estimados estudiantes, partiendo del comentario del compañero Stevens, me permito comunicarles que las reglas de inferencia lógica, entre otras, son: El Modus Ponendo Ponens (MPP), el Modus Tollendo Tollens (MTT), y el Modus Tollendo Ponens (MTP), expresiones latinas que traducen: método que afirmando afirma, método que negando niega y método que negando afirma, respectivamente.

MODUS PONENDO PONENS (MPP)

Este método de inferencia establece que si una implicación es cierta y además también es cierto su antecedente, entonces su consecuente es necesariamente verdadero; de manera simbólica esto se expresa así:

[(p-->q) ^ p] --> q

MODUS TOLLENDO TOLLENS (MTT)

Esta regla de inferencia dice que si una implicación es verdadera y es falso su consecuente, entonces su antecedente será necesariamente falso.

[(p-->q) ^ ¬q] --> ¬p

MODUS TOLLENDO PONENS (MTP)

Esta ley se enuncia así: si una disyunción es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente la otra proposición será verdadera. Simbólicamente:

[(p v q) ^ ¬p] --> q ó [(p v q) ^ ¬q] --> p

Resumen de Leyes de Inferencia

http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicional.pdf

Método reducción al absurdo

http://www.youtube.com/watch?v=gVbmr5qnAyU

http://www.youtube.com/watch?v=0UhdFydCYfQ

http://www.youtube.com/watch?v=0YWmhuqKFeI

Atentamente,

Sergio Andrés Durán Jaimes

TUTOR

...