Paso 3 Uso de las Reglas de Inferencia

Erika Lpez Mndez

Mayo 2017.

Universidad Nacional Abierta y a Distancia

Ecacen

Pensamiento Lgico Matemtico

Objetivo General:

Aprender trminos que se utilizan en la lgica matemtica dado es el caso de las leyes de

inferencia

Objetivos Especficos:

Aprender a buscar las clases de razonamientos por medio de tablas de verdad y leyes de

inferencia.

Conceptualizar el modo tollendo Tollens y ponendo ponens.

Introduccin

El siguiente trabajo se hace con el fin de aprender nuevos conceptos de la lgica matemtica y

ponerlos en prctica, para ello es importante conceptualizar y apropiarse de los temas, tales como

leyes de inferencia y tipos de demostracin.

Primera etapa: Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de los diferentes tipos de Demostracin en la Lgica Matemtica

Demostraciones Directas e Indirectas.

Mtodo de demostracin directa

En le mtodo de demostracin directa se tiene como hiptesis verdaderas las proposiciones

H1 y H2 y y Hn procediendo a la deduccin de que la conclusin Q es verdadera a travs

de un proceso lgico deductivo, es decir como una cadena de implicaciones lgicas.el

esquema de demostracin en el mtodo directo es la forma:

Si H1 y H2 y y Hn entonces Q

En forma simbolica:

H1 H2Hn =>q

El mtodo de demostracin directa tiene como fundamento lgico la regla de inferencia

clsica o esquema argumentativo valido llamado: Modus Ponens

Que significa: si la hiptesis P es verdadera y la hipotesis P implica la conclusin Q

entonces la conclusin Q es verdadera.

Ejemplo 1 Demostrar que el cuadrado de un numero entero par tambin es par.

Demostracion El teorema a demostrar escrito en forma de condicional, sera Para

cualquier entero n, si n es par, entonces n 2 es par que se corresponde con el esquema

n p(n) p(n 2 ) donde p(n) : n es par. Y el universo del discurso son todos los

nmeros enteros. Pues bien, sea n un nmero entero cualquiera. Si n es par, entonces por

la definicin que vimos en el ejemplo 3.3.9, existir un numero entero k tal que n = 2k de
 aqu que elevando al cuadrado, obtengamos n 2 = 4k 2 = 2(2k 2) y como el cuadrado de

un nmero entero tambin es entero, 2k 2 ser a entero (lo llamaremos m). As pues,

hemos encontrado un entero m tal que n 2 = 2m. Por lo tanto, y utilizando de nuevo la

definicion 3.3.9, concluimos que n 2 es par. A

Ejemplo 2

Consideremos el siguiente ejemplo:

z2
Proposicin: Si el tringulo rectngulo XYZ de catetos x e y e hipotenusa z tiene de rea ,
X 4
y z
entonces es issceles.
Z x Y

En este ejemplo tenemos las proposiciones A El tringulo rectngulo XYZ de catetos x e y e

z2
hipotenusa z tiene de rea y B El tringulo rectngulo XYZ es issceles.
4

Si recuerdas los ejercicios que has hecho en el captulo 1 en el apartado Algo sobre la

proposicin Si A entonces B, cuando quieres probar que A implica B, puedes suponer que A

es verdadera y usar de alguna forma esta informacin para concluir que B es verdadera.

Ejemplo 3

Si los puntos A, B, C y D estn sobre una recta de manera que B es el punto medio del segmento

AC y C es el punto medio del segmento BD, entonces.

Prueba

A B C D
Paso 3 Hiptesis: B es el punto medio del segmento AC, C es el punto medio de segmento BD

Tesis: AB CD

Paso 4 idese el plan se interpretara cada una las proposiciones de los datos como una

proposicin sobre la congruencia de segmentos y se utilizara la propiedad transitiva.

Afirmaciones Razones

1. B punto medio de BC 1. Hiptesis o dato.

2. C punto medio de BD 2. Hiptesis o dato.

3. AB BC 3 Definicin de punto medio

4. BC CD 4. Definicin de punto medio

5. AB CD 5. De 3 y 4 aplicando propiedad transitiva

El mtodo de demostracin indirecta

En el mtodo de demostracin indirecta, se debe empezar preguntndose: Cmo, o cundo,

debo concluir que la proposicin B es verdadera? Esta pregunta se debe hacer de forma

general. Se pone por caso, la pregunta (general) es: Cmo puedo probar que un tringulo es

issceles?

Esta pregunta, obtenida de la proposicin B, la llamaremos en lo que sigue la pregunta clave.

Una pregunta clave bien planteada no debera contener ni smbolos ni otras notaciones (salvo

nmeros) del problema que se est considerando. La llave para muchas demostraciones es

formular correctamente la tal pregunta clave.

Una vez que has planteado la pregunta clave, tu paso siguiente en este mtodo ser responderla.

Volviendo al ejemplo anterior, cmo puedo probar que un tringulo es issceles? Obviamente,

una forma es probando que dos de sus lados tienen la misma longitud. Considerando nuestra

figura, deberas probar que x y. Observa que en la respuesta a la pregunta clave hay dos fases:

en primer lugar, das una respuesta general que no contiene smbolos del problema planteado:

demostrar que un tringulo es issceles, es demostrar que dos de sus lados tienen igual longitud.

Luego, se aplica esta respuesta a la situacin en cuestin: demostrar que dos de sus lados tienen

igual longitud, significa demostrar que x y (no que x z o y z).

Con el mtodo de demostracin indirecta, has construido una nueva proposicin, B1, que tiene la

propiedad de que si puedes demostrar que B1, es verdadera, entonces B lo ser.

Ejemplo 1:
Se ilustra la prueba indirecta probando dos teoremas y ejercicio Teorema: si dos rectas se

intersecan, la interseccin es un punto.

Dado: las rectas t y m se intersecan en el punto p prubese: p es el nico punto de interseccin.

Anlisis el paso 2 de una prueba indirecta es suponer la negacin de P es el nico punto de

interseccin P no es el punto de interseccin, esto significa que hay un segundo punto de

interseccin, entonces se muestra que tener estos dos puntos conduce a una contradiccin del

postulado

p l Q

Afirmaciones Razones

Paso2 1. Supngase que p no 1. Suposicin de la prueba indirecta.

Es el nico punto de interseccin 2. Replanteamiento de l

De las rectas t y m 3. Afirmaciones 1 y 2

 Afirmaciones Razones

Paso 3{2. Sea Q el segundo 4. Replanteamiento de 3

Punto de interseccin. 5. Lgica de la prueba indirecta

3. t contiene a P y a Q.

4. P y Q estn en dos rectas

(Contradiccin del postulado

del punto y la recta

5.Por tanto, P es el nico

Punto de interseccin de

tym}

Si dos rectas son perpendiculares a la misma recta, las dos rectas son paralelas.

Ejemplo 2 si dos rectas son perpendiculares a la misma recta, las dos rectas son paralelas.
C

Dado: k __ m, l__m.] paso 1

K L
Prubese: k l

D A B

Afirmaciones Razones

Paso 2.supongase que suposicin de la prueba indirecta.

k t (k no es paralela a t) 2. Replanteamiento de 1

2.k y t se intersecan en el pinto C 3. Definicin de triangulo

3. se forma ABC 4. Teorema de Angulo externo

 Afirmaciones Razones

4. m DAC > m ABC 5 Dado.

5. k __m, t__m. 6. Definicin de las perpendiculares

6. DAC = m ABC son 7. Todos los ngulos rectos tienen la misma medida.

ngulos rectos. 8. Lgica de la prueba indirecta.

7 m DAC = m ABC (contradiccin

De m DAC > m ABC).

8 por lo tanto, k t.

Ejemplo 3: dado Ay B son agudos.

A
B

Afirmaciones Razones

1. supngase que < A es 1. Negacin de la hiptesis suposicin de la

prueba

Suplementario de <B indirecta.

2. m < A +m < B=180. 2. Definicin de suplementarios.

3. m < A < 90, m < B < 90 3. Dado definicin de ngulo agudo.

4. m < A +m < B < 90+90 4. Propiedad aditiva de las desigualdades.

Contradiccin del paso 2 5.logica de la prueba indirecta.

5 por lo tanto.

A y < B no son suplementarios.

Segunda etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas de las

leyes de inferencia lgica la terminologa de las leyes de inferencia es la siguiente:

Modus Ponendo Ponens y Modus tollendo Tollens.

MODUS PONENDO PONENS (PP).- Es un mtodo (Modus), que afirma (ponens) el

consecuente, afirmando (ponendo) el antecedente de La implicacin.

El modus ponendo ponens (latn: "el modo que, al afirmar, afirma"1, tambin llamado

modus ponens, eliminacin de la implicacin o regla de separacin, y generalmente

abreviado MP) es una forma de argumento vlido y una regla de inferencia en lgica

proposicional.5 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.

Un ejemplo de modus ponendo ponens es:

Si est lloviendo, te espero dentro del teatro.

 Est lloviendo.

Por lo tanto, te espero dentro del teatro

Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:

Si est soleado, entonces es de da.

Est soleado.

Por lo tanto, es de da.

Otro ejemplo sera

Si Javier tiene rabia, es una nube.

Javier tiene rabia.

Por lo tanto, Javier es una nube.

Otra manera de presentar el modus ponens con el condicional es

Y an otra manera es a travs de la notacin del clculo de secuentes: Con condicional:

Modus tollendo Tollens

El modus tollendo tollens negacin del consecuente o ley de contraposicin, es 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. Los primeros en declarar explcitamente la forma de argumento modus

tollendo tollens fueron los estoicos.

 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:

Ejemplos:

Si est lloviendo, te espero dentro del teatro.

No te espero dentro del teatro.

Por lo tanto, no est lloviendo.

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

No es de "Da".

Por Lo Tanto, no est soleado.

Si corro, me quedare sin aliento. No estoy sin aliento.

Sean

p : Corro.

q : Estoy sin aliento

Entonces, el argumento seria:

(p q) q

y por modus Tollens, (p q) q = p

 siendo la regla de inferencia,

p q

Es decir, Si corro, me quedare sin aliento.

No estoy sin aliento.

No he corrido.

La conclusin es, por tanto, No he corrido.

Tercera etapa:

Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas de verdad) y la

aplicabilidad de las leyes de inferencia lgica de uno de los problemas de enunciados tipo

argumento del ANEXO 1; adems adjuntar un pantallazo de la comprobacin de la tabla de

verdad con el simulador TRUTH dicho simulador est dispuesto en el entorno de Aprendizaje

Prctico. En el foro de Interaccin y Produccin encontrar un link que le permitir descargar un

PDF con un ejemplo de cmo realizar el proceso de demostracin de la validez del argumento

con el uso de la tabla de verdad.

1. En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del cual

Juan Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia laboral

por diferentes puntos de vista en el proceso de acompaamiento legal a una persona

sindicada de varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de

discordia con Mara. Mara ha decidido tomar acciones radicales frente a lo ocurrido con

Juan: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de

abogados. Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no

es llevado a prisin. Por lo tanto, si el cliente de Juan gana la apelacin, entonces no es

llevado a prisin. Determinar con e luso de las dos formas de la tabla de verdad la validez

del razonamiento que hace Mara y hacerlo tambin con el uso de las leyes de inferencia.

Declaracin de las proposiciones simples

P: Juan gana la apelacin

Q: Mara se retira del buffet de abogados

R: Alberto es llevado a prisin

Declaracin de las premisas

Premisa 1: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de

abogados.

Premisa 2: Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no

es llevado a prisin

Conclusin: si el cliente de Juan gana la apelacin, entonces no es llevado a prisin

Declaracin de las premisas en lenguaje formal

Premisa 1: (p>q)

Premisa 2: (qr)

Conclusin: (p>-r)

Expresin formal del razonamiento

 Declaracin en lenguaje formal

{(p>q)(q-r)}(p>-r)

(q<=>- (p>q)(q<=>- (p>-

p q r -r (p>q) r) r) r) [(p>q)(q<=>-r)]<=>(p>-r)

v v v F v f F f V

v v f V v v V v V

v f v F f v F f V

v f f V f f F v V

f v v F v f F v V

f v f V v v V v V

f f v F v v V v V

f f f V v f F v V

El razonamiento es vlido. Es una tautologa

Premisa 1. p>q

Premisa 2. Q-r Eliminacin del bicondicional

_______________

Premisa1. p>q

Premisa2. q>-r

________________

3. P>-r Silogismo hipottico (1),(2) A>B

B>C

_____

A>C

Conclusin: p>-r

El razonamiento es vlido demostrado por leyes de inferencia.

Conclusiones

- Las leyes de inferencia son muy fciles de manejar.

- Es importante seguir estudiando sobre el tema para perfeccionar los ejercicios.

- La lgica matemtica es una ciencia difcil pero no imposible de aprender.

Bibliografa

Apuntes de Logica Matematica. (2 de mayo de universidad de cadiz.es). Obtenido de

http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf
Hernandez, l. (1 de mayo de 2017). prezi. Obtenido de prezi:
https://prezi.com/3hzj_yrsjdi4/modus-tollendo-tollen-y-modus-ponendo-ponen/