Momento Intermedio Paso 3 Uso de las Reglas de Inferencia

Primera etapa

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de los diferentes tipos de Demostracin en la Lgica Matemtica
(slo selecciona una e informa en el foro cual escogi, para que no sea
escogido por otro integrante).

Demostraciones directas o indirectas:

Segn palabras de Viviana Andrea Jaramillo (16 de Noviembre del 2014)
describi a las demostraciones directas como: La demostracin directa
consiste en construir un razonamiento que conduzca al teorema como
conclusin, o sea se demuestra una afirmacin o teorema expresando las
premisas que conducen directamente a ella. Por ejemplo, si se quiere
demostrar q y supongamos que tenemos las premisas "p q" (la flecha es la
conectiva lgica llamada "condicional") y "p", ello se expresa as:
pq
p
___
q

Y segn esta misma bloguera (16 de noviembre del 2014) describi las
demostraciones indirectas en: es tan solo el llegar a una conclusin verdadera,
factible y conveniente por un mtodo ms largo y con una respuesta que indica
que la conclusin es cierta.
Cuando aplicamos la Demostracin Directa, damos una premisa que conduce
directamente a la conclusin, sin embargo hay algunos casos en los que no
puedes llegar a la conclusin directamente, por lo tanto efectuamos la
Demostracin Indirecta.

Ejemplos
Directa
Juanito tiene que hacer 5 tareas, la mama le dice que entre ms rpido
haga las tareas ms rpido puede salir a jugar.

Si Juanito hace tareas ms rpido, mas rpido saldr a jugar.

Alicia tienen 10 dulces, el mejor amigo de ella le dice que no coma
tantos dulces al tiempo, que entre ms dulces coma, ms rpido se
terminaran.
Entre ms dulces come Alicia, mas rpido se le acabaran los dulces.
Indirecta
Don Luis est arreglando una casa, y el trabajo que tiene que realizar es
mucho, su hija le aconseja que contrate dos personas ms, ya que si
hay ms personas trabajando, el trabajo para cada uno ser menos.

Si hay ms personas trabajando, el trabajo para cada uno ser menos.

Segunda etapa
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de las leyes de inferencia lgica (slo selecciona una e informa
en el foro cual escogi, para que no sea escogido por otro integrante).

Modus Ponendo Ponens y Modus tollendo Tollens:

Modus Ponendo Ponens

Esta es la regla de eliminacin de la implicacin o regla de separacin, en la
pgina de Wikipedia (2017) esta regla se describe como: una forma de
argumento vlido y una regla de inferencia en proposicional. Se puede resumir
como "si P implica Q; y P es verdad; entonces Q tambin es verdad."
El modus ponendo ponens pueden establecerse formalmente como:

Donde la regla es cuando "P Q" y "P" aparezcan por s mismos en una
misma lnea de una prueba lgica, Q puede ser escrito vlidamente en una
lnea subsiguiente. Ntese que la premisa de P y la implicacin se "disuelven",
siendo su nico rastro el smbolo Q que se mantiene para su uso posterior, por
ejemplo, en una deduccin ms compleja.

Ejemplo
Si est lloviendo, te espero dentro del teatro.
Est lloviendo.
Por lo tanto, te espero dentro del teatro.
 Si estas barriendo, barre debajo de la cama.
Estas barriendo.
Por lo tanto, barre debajo de a la cama.

Si vas a nadar en la piscina, ponte el gorro de bao.

Estas nadando en la piscina
Por lo tanto, ponte el gorro de bao.

Modus tollendo Tollens

Esta es negacin del consecuente o ley de contraposicin, en la pgina de
Wikipedia (2017) esta regla se describe como: una forma de
argumento vlida y una regla de inferencia en lgica proposicional. Es una
aplicacin de la verdad general de que, si una declaracin es vlida, tambin lo
es su contraposicin.

La regla de inferencia modus tollendo tollens establece que si una primera

afirmacin implica una segunda afirmacin; y la segunda afirmacin no es
verdadera; se puede inferir que la primera no puede ser verdadera Es decir, si
P implica Q; y Q no es verdadera; entonces P tampoco es verdadera.

Esta regla se puede afirmar formalmente como:

Donde P Q significa "P implica Q", ~Q significa "no es el caso de que Q"
(o en resumen "no Q"). Entonces, cada vez que " " y "~Q " aparecen por s
mismas como lneas de una prueba, "~P " se puede colocar vlidamente en
una lnea posterior.

Ejemplo
Si est lloviendo, te espero dentro del teatro.
No te espero dentro del teatro.
Por lo tanto, no est lloviendo.

Si estas comiendo papas, invtame una hamburguesa

No me invitaste una hamburguesa
Por lo tanto, no estas comiendo papas

Si tienes un computador, realiza el trabajo de lgica matemtica.

No ests haciendo el trabajo de lgica matemtica
Por lo tanto, no tienes un computador.
 Bibliografa
Enfermera humana. (2014). Viviana Andrea Jaramillo. Demostracin
directa, indirecta y refutacin. Recuperado de.
http://jaramillo0119.blogspot.com.co/2014/11/demostracion-directa-
indirecta-y.html
Wikipedia.(2017).Modus ponendo ponens.(2017).Recuperado de.
https://es.wikipedia.org/wiki/Modus_ponendo_ponens
Wikipedia. (2017). Modus tollendo tollens. (2017). Recupredado de.
https://es.wikipedia.org/wiki/Modus_tollendo_tollens