MODUS TOLLENDO PONENS

Por:

ANA BETSABETH ÁVILA PARRAOSCAR ROJAS FERIA

Bogotá D.C., Abril 25 de 2010

REGLAS DE INFERENCIALas reglas de inferencia son esquemas para construir inferencias válidas. Se establecen relaciones sintácticas entre un conjunto de fórmulas o premisas (sacar una conclusión) y una aserción llamada conclusión. (Tomado de Wikipedia).En lógica proposicional algunas de las reglas de inferencia son:

Modus ponensModus tollensSilogismo hipotéticoSilogismo disyuntivo

DEFINICIÓN DE MODUS TOLLENDO PONENS (MTP)

Modus Tollendo Ponens (MTP) es un término utilizado anteriormente y es el mismo silogismo disyuntivo. Proviene del latín y significa modo que negando afirma. Es una forma válida de argumento.La disyunción es simbolizada por v y representa la elección de dos enunciados.

¿CÓMO TRABAJA MODUS TOLLENDO PONENS (MTP)?

Como se trata de realizar una elección, ambos enunciados pueden ser verdaderos o uno de ellos puede ser verdadero y el otro falso, pero lo que definitivamente no puede suceder es que ambos sean falsos.

Si uno de los enunciados de la disyunción es negado, el otro enunciado queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado. Por ejemplo:

p V q “He ido al Planetario Distrital o al Museo del Oro” ¬q “No he ido al Planetario Distrital”________________________________________________ p “Por tanto, he ido al Museo del Oro”Al negar una de las proposiciones la otra

automaticamenteafirma algo.

En lógica proposicional se representaría así:

La representación en diagrama de Venn sería:

p q ˜ p q p q

V

→

EJEMPLOSRealizo el trabajo de reglas de inferencia

sobre doble negación o sobre Modus Tollendo Ponens.

No realizo el trabajo de reglas de inferencia sobre doble negación.

por tanto, lo realizo sobre modus tollendo ponens.

El trabajo de reglas de inferencia lo hice en Power Point 2003 o en Power Point 2007.

El trabajo de reglas de inferencia no lo hice en power point 2003.

por tanto, lo hice en power point 2007.

La lógica estudia la validez de los razonamientos o el origen de los símbolos matemáticos. La lógica no estudia el origen de los símbolos matemáticos. Por tanto, estudia la validez de los razonamientos.

La universidad del Quindío está ubicada en la ciudad de Armenia o en Calarcá.La universidad del Quindío no está ubicada en Calarcá.Por tanto, está ubicada en la ciudad de Armenia.

CIDBA es un programa presencial o es un programa virtual.

CIDBA no es un programa presencial. por tanto es un programa virtual.

Bibliografía en la redhttp://www.juntadeandalucia.es/averroes/emilioprados/

filosof/Logica/Reglas%20de%20inferencia.htmhttp://es.wikipedia.org/wiki/Silogismo_disyuntivohttp://es.wikipedia.org/wiki/Modus_tollendo_tollenshttp://www.docstoc.com/docs/26861198/logicahttp://www.mitecnologico.com/Main/

ArgumentosValidosYNoValidoshttp://www.canalsocial.net/GER/ficha_GER.asp?

id=5925&cat=filosofiahttp://portales.educared.net/wikiEducared/index.php?title=L

%C3%B3gica_proposicional