MOMENTO INTERMEDIO PASO 3 USO DE LAS REGLAS DE INFERENCIA

FRANCISCO JAVIER RODRIGUEZ LEAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
INGENIERIA EN TELECOMUNICACIONES
CCUTA
2016
 OBJETIVO GENERAL

Con esta actividad se busca que el estudiante identifique y utilice en forma clara las reglas

de inferencia lgica por induccin y deduccin en formulaciones y demostraciones de

razonamientos vlidos en situaciones especficas.

OBJETIVOS ESPECIFICOS

Adquirir conocimientos que ayuden a desarrollar procesos de demostracin lgica y

llegar a la clasificacin del mismo.

Buscar la solucin de problemticas de tipo real y llevarlos a un punto donde la

lgica matemtica nos ensea cmo debemos actuar o que conclusiones sacar de
estas.
 INTRODUCCION

En la presente actividad llevaremos a cabo la conceptualizacin y profundizacin de los

principales temas que debemos aplicar en las reglas de la inferencia. Se realizaran aportes
significativos por parte de cada estudiante hacia la construccin general de una explicacin
que sea fcil de comprender sobre las reglas de la inferencia.

Adems la solucin de problemticas de la vida real planteadas en el anexo, nos ayudara a

comprender a fondo la aplicacin de las reglas de la inferencia en nuestras vidas.
 PRIMER ETAPA

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

los diferentes tipos de Demostracin en la Lgica Matemtica.

Demostracin por contraejemplo

En la lgica especialmente para sus aplicaciones en matemticas y filosofa se dice que

un contraejemplo es una excepcin a una regla general propuesta es decir un caso
especfico de falsedad en una cuantificacin universal (un "para todo").

Podemos aplicar este mtodo de manera particular para demostrar la falsedad de las
proposiciones cuya hiptesis est construida mediante un "cuantificador universal". Esto
es, se aplica para demostrar la falsedad de una proposicin que tenga una conclusin
referida para "todos los elementos de un cierto conjunto".
Este mtodo es muy til cuando nos encontramos ante una proposicin con cuantificador
universal, de la cual no se sabe si es verdadera o falsa, lo primero es buscar un
contraejemplo, si no se encuentra en primera instancia se debe intentar demostrar su
veracidad aplicando otros mtodos o una combinacin de los mismos.

Cuando se trata de demostrar que cierta proposicin que hace referencia a un conjunto M
de elementos por ejemplo todos los espaoles son morenos no es cierta se cree que lo
ms fcil que podemos hacer es presentar un espaol rubio, esta es la demostracin por
contraejemplo y el espaol rubio es el contraejemplo.

Ejemplos:

1) Para tres nmeros enteros no nulos cualquiera x, y, z y para cualquier nmero natural n
2 se verifica
xn yn zn

Nos basta presentar los nmeros 3, 4,5 como x, y, z y 2 como n, reemplazamos y nos
quedara as

32 42 . 52

Podemos demostrar que es falso si n es un nmero natural cualquiera entonces 3n! 1 es

un nmero primo.

Podemos demostrar que es falso que cada nmero natural impar sea la suma de los
cuadrados de dos nmeros naturales.

Podemos demostrar que es falso que 22n 1 sea primo para cada nmero natural n.
2) En el universo de los nmeros enteros positivos, demostrar o refutar la siguiente
proposicin: la suma de dos cuadrados perfectos es tambin un cuadrado perfecto.

Solucin:

Recordemos que un entero positivo x es un cuadrado perfecto si puede encontrarse otro

2
entero positivo y tal que x= y

La proposicin a demostrar escrita en forma de condicional seria:

Si m y n son enteros positivos y cuadrados perfectos, entonces m + n es un cuadrado

perfecto.

Pues bien, si

P (m, n): m + n es un cuadrado perfecto,

Entonces la proposicin escrita en forma simblica es

m, n [(p (m, 0) p(n, 0)) p (m, n)]

Y un contraejemplo,

a, b: [p(a, 0) p (b, 0) p(a, b)]

Es decir,

pueden encontrarse dos enteros positivos a y b tales que sean cuadrados perfectos y que,
sin embargo, su suma no lo sea.

Pues bien, elijamos dos cuadrados perfectos arbitrariamente, por ejemplo el 25 y el 36.
Entonces,

25 + 36 = 61 6= y 2, y

Por lo tanto, y de acuerdo con la definicin de cuadrado perfecto dada, 61 no es un

cuadrado perfecto. As pues, ya tenemos el contraejemplo

25 y 36 son, ambos, cuadrados perfectos y, sin embargo, su suma, 25 + 36, no lo es.

Consecuentemente, la proposicin propuesta es falsa.

3) Demostrar si es cierto que para todo par de nmeros reales x, y, xy= x y

Por ejemplo, si x = -1, y = -1 no es cierta la igualdad.
SEGUNDA ETAPA

Modus ponendo ponens

(Eliminacin de la implicacin) [E->]

X->Y
X
____
Y

La expresin latina "Modus Ponendo Ponens" se traduce literalmente como "modo que
poniendo pone", aunque sera ms claro entenderlo como "confirmando confirma".
Funciona a partir de una implicacin: cuando se confirma el antecedente (causa lgica),
entonces se puede confirmar el consecuente (consecuencia lgica).

El ejemplo ms estpido que se le puede ocurrir a alguien para explicar esta regla es "Si
llueve, entonces me mojo. Est lloviendo. Por ende, me estoy mojando". Pero veamos
ejemplos quizs ms interesantes:

"Si estuvieras borracho, estaras carioso. Ests borracho. Por eso ests carioso"

El MPP es la regla fundamental de las demostraciones lgicas, es decir, la operacin lgica

fundamental del mtodo de deduccin natural.

"Si fueras inteligente, no repetiras los mismos errores"

Ejemplo:
1) Premisa 1. Si l est en el partido de ftbol, entonces l est en el estadio.
Premisa 2. l est en el partido de ftbol.
Conclusin. l est en el estadio.

2) Premisa 1. Si no hace fro, entonces el lago no se helar.

Premisa 2. No hace fro.
Conclusin. El lago no se helar.

3) Premisa 1. Si llueve, entonces las calles se mojan.

Premisa 2. Llueve.
Conclusin. Luego las calles se mojan.

Modus tollendo tollens

Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es falso,
entonces su antecedente ser necesariamente falso; simblicamente se expresa as:

[(p q) ~q] ~p
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}
Ejemplos:

1) La hiptesis H implica la consecuencia observable O.

La consecuencia observable O no es el caso.
Por lo tanto, la hiptesis H tampoco es el caso.

2) Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros dos ngulos
es menor de 90.
La suma de los otros dos ngulos no es menor de 90.
Un ngulo de un tringulo no es mayor de 90.

3) Si llovi entonces hubo nubes, no hubo nubes, por lo tanto no llovi.

Si llovi entonces hubo nubes.
No hubo nubes.
No llovi.
 TERCERA ETAPA

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 el uso 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.

Solucin:

PROPOSICIONES:

p: Si el cliente de Juan gana la apelacin

q: Mara se retira del buffet de abogados
r: Alberto es llevado a prisin

PREMISAS:

1. Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de abogados:
(p q).

2. Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no es llevado
a prisin: (q ~r).

3. si el cliente de Juan gana la apelacin, entonces Alberto no es llevado a prisin: (p ~r).

CONCLUSION:

El cliente de Juan gana la apelacin.

Proposicin en lenguaje lgico:

[((p q) (q ~r)) (p ~r)] p

~ ( ( (p ( [(pq) [((pq) (q~r))

r p q~ q) (q~r) p~ (q~r)) (p~r) (p~r)] p
r) r)
q)
F F V V
V F
F
V V V V
V V
V
F F V V
F V
F
V F V V
F F
V
F F V F
V F
V
V V V F
V V
V
F V V F
V V
V
V F V F
V F
V

DEMOSTRACION CON TRUTH TABLE

Demostrando por medio de las leyes de inferencia:

1 variables proposicionales:

p: Si el cliente de Juan gana la apelacin

q: Mara se retira del buffet de abogados
r: Alberto es llevado a prisin

2. En lenguaje lgico:
pq
q ~r
p ~r
p

3. Argumento:
1. p q
2. q ~r
3. p ~r
p

4. Reglas de inferencia o equivalencia:

1. p q
2. q ~r
3. p ~r
p

4: q SD (1) (2)
5: p ~r SH (1) (3)

Despus de realizar la solucin de la proposicin de mara se llega a una

INDETERMINACIN, por lo tanto el razonamiento de mara no es vlido.
 CONCLUSIONES

Comprendimos despus de realizar el trabajo, los diferentes temas que se relacionan con las
reglas de la inferencia, las definiciones y ejemplos que ayudaron al rpido y fcil
entendimiento de estos.

Una vez ms la lgica matemtica nos da ms y diversas formas de solucionar

problemticas que obtenemos a diario en nuestra vida cotidiana,
 BIBLIOGRAFIAS
Demostracin por contraejemplo. Tomado de:
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf

http://www.mat.ucm.es/catedramdeguzman/old/05edumat/inicquehacermat/cap2ver.pdf

http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_25_la_refutacin.h
tml

Modus tollendo tollens. Tomado de:

http://andresbaravalle.blogspot.com.co/2010/06/modus-tollendo-tollens.html

http://tollendo-tollens-u2.blogspot.com.co/

http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion1.pdf

Modus ponendo ponens. Tomado de:

https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-deduccion-
natural/modus-ponendo-ponens

http://www.monografias.com/trabajos99/fundamentos-logicos/fundamentos-logicos.shtml