Tarea 1: Aplicacin de las reglas de inferencia.

Socializar en el Foro diseado para el desarrollo de la actividad la conceptualizacin y dos

ejemplos especficos (En caso de ser extrado por alguna fuente bibliogrfica, se debe citar
correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lgica.
(solo selecciona un grupo de los 5 mostrados e informa en el foro cual escogi, para que no
sea escogido por otro integrante), las cuales son
A: modus ponendo ponens, modus tollendo tollens y silogismos hipotticos.

Modus ponendo ponens.

En lgica proposicional, modus ponendo ponens en latn significa la forma en que se
afirma afirmando, abreviado MP.
Si bien el modus ponens es uno de los conceptos ms utilizados en la lgica no debe
confundirse con una ley lgica; ms bien, es uno de los mecanismos aceptados para la
construccin de pruebas deductivas que incluye la regla de definicin y la regla de
sustitucin.7 Modus ponens permite eliminar una sentencia condicional de una prueba
lgica o argumento (los antecedentes) y por lo tanto no llevan estos antecedentes adelante
en una cadena alargada y constante de smbolos; por esta razn el modus ponens a veces se
denomina la regla de la separacin.8 Enderton, por ejemplo, observ que el modus ponens
puede producir frmulas ms cortas de las ms largas,9 y Russell seal que el proceso
de la inferencia no puede reducirse a los smbolos.
Una justificacin para la la confianza en la inferencia es la creencia de que si los dos ex
afirmaciones [los antecedentes] no estn en un error, la afirmacin final de [el consecuente]
no es un error.11 En otras palabras: si un enunciado o proposicin implica una segunda, y
la primera afirmacin o proposicin es verdadera, entonces la segunda, tambin es
verdadera. Si P implica Q y P es verdadera, entonces Q es verdadera.12 Un ejemplo es:

Si est lloviendo, te esperar en el teatro.

Est lloviendo.
Por lo tanto, voy a cumplir en el teatro.
El modus ponens pueden establecerse formalmente como:
donde la regla es que cada vez que una instancia de P Q y P aparece por s mismos
en lneas de una prueba lgica, Q puede ser colocado vlidamente en una lnea posterior;
adems, la premisa de P y la implicacin disuelve, su nico rastro siendo el smbolo Q
que se mantiene para su uso posterior, por ejemplo, en una deduccin ms compleja.
Est estrechamente relacionado con otra forma vlida de argumento, modus tollens. Ambas
tienen apariencia similar pero tienen formas invlidas, como la afirmacin del consecuente,
negando el antecedente, y evidencia de ausencia.

Modus tollendo tollens.

En Lgica, El modus tollens tollendo en (latn, Modo Que negando Niega), Tambin
Llamado modus tollens y generalmente abreviado MTT o MT, Es Una Regla de inferencia
Que TIENE LA Siguiente forma:

Por Ejemplo, el significado del RAZONAMIENTO Que Sigue la forma del modus tollens
podra ser de la siguiente manera:
Si A entonces B
No B
Por lo tanto, no A

Si soleado est '' entonces '' Es de Da.

No es de "Da".
Por Lo Tanto, no est soleado.

Es importante evitar caer en el silogismo incorrecto.

Si regiomontano de soja, soja mexicano '' entonces ''

No regiomontano de soja.
Por Lo Tanto, no soy mexicano.

Es incorrecta Puesto Que podra Servicios hidroclido mexicano y Seguir Siendo, de Ah la

Importancia de no confundir El condicional (si p ',' entonces '' q) con El bicondicional (p si
y solo Si
q).
Otra Manera de presentar El modus tollens es: Un <------> B

A
--------------
B

Y an Otra Manera es sin Travs de la notacin del Clculo de secuentes:

(A, B <--->), l-B

En Lgica proposicional Su Representacin seria la Siguiente:

[(P} q) & q] p}

Silogismos hipotticos.
Los silogismos hipotticos se compone de dos premisas condicionales.

La primera es una condicional y la segunda tiene como antecedente al consecuente de la

primera premisa y la conclusin se forma con el antecedente de la segunda premisa.
1 premisa: P -----> Q
2 premisa: Q ----> R
Conclusin: P---> R.
Claramente se percibe que la conclusin es una proposicin condicional y que las dos
premisas tambin son condicionales.

Bibliografias.
http://www.elenciclopedista.com.ar/modus-ponendo-ponens/