UNIDAD 3.

USO DE LAS REGLAS DE INFERENCIA

YECID ALFONSO PEREZ BOHORQUEZ

88002893
GRUPO 200611_873
TUTOR
NEVARDO ALONSO AYALA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA DE INGENIERIA INDUSTRIAL
PENSAMIENTO LOGICO MATEMATICO
12 DE MAYO 2017
 INTRODUCCION

En esta unidad estudiaremos el uso de las reglas de inferencia que le daran a conocer al

estudiante su utilidad referente a la solucion de problemas usando la logica matematica.

Teniendo estos conceptos se tendran bases para proceder al desarrollo de las actividades

propuestas en la guia y se podra aplicar los conceptos adquiridos.

 OBJETIVOS

Adquirir conocimiento acerca de la terminologa de los diferentes tipos de demostracin

que son utilizados en la lgica matemtica.

Estudiar y comprender los conceptos utilizados en las leyes de Inferencia Lgica y

aplicarlas en el desarrollo de actividades propuestas.

Aprovechar los recursos y herramientas proporcionadas por el programa para la solucin de

casos propuestos, en especial la TRUHT TABLE.
 LOS METODOS DE DEMOSTRACION DIRECTA E INDIRECTA

Cuando quieres probar que la proposicin Si A entonces B es verdadera, lo primero que

tienes que hacer es reconocer quin es la proposicin A y quin es B. Por lo general, todo lo
que est entre las palabras si y entonces constituye la proposicin A, y todo lo que est
despus de entonces, la B.

Otra forma de reconocerlo: todo lo que supones que es cierto, o sea, la hiptesis, es A y
todo lo que tienes que probar que es cierto, o sea, la tesis, es B.

Consideremos el siguiente ejemplo:

Proposicin: Si el tringulo rectngulo XYZ de catetos x e y e hipotenusa z tiene de rea

z2 X
4 z
, entonces es issceles. y

Z x Y

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

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

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.
 EL METODO DE DEMOSTRACION INDIRECTA

En el mtodo de demostracin indirecta, debes empezar preguntndote: Cmo, o cundo,

debo concluir que la proposicin B es verdadera? Esta pregunta debes hacerla de forma
general. En el ejemplo anterior, pongamos 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, aplicas 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 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. En
nuestro ejemplo, la nueva proposicin es B1: x y.

Si puedes probar que x y, entonces el tringulo XYZ es issceles. Una vez que has
planteado la proposicin B1, todos tus esfuerzos deberan dirigirse a intentar llegar a la
conclusin de que B1 es verdadera, pues entonces seguira que B es verdadera. Cmo
puedes demostrar que B1 es verdadera? Cmo puedes plantear una nueva pregunta clave
para B1?

Puesto que x e y son longitudes de dos lados de un tringulo, una pregunta clave razonable
podra ser cmo puedo probar que las longitudes de dos lados de un tringulo son
iguales?. Otra, igualmente razonable, sera cmo puedo probar que dos nmeros reales
son iguales? Al fin y al cabo, x e y son nmeros reales.

Una de las dificultades que pueden surgir en el mtodo de demostracin indirecta es la

posibilidad de ms de una pregunta clave en algn paso. Elegir la correcta tiene ms de arte
que de ciencia. En algunos casos, habr solamente una pregunta clave obvia; en otros casos,
debers proceder por ensayo y error. Aqu es donde tu intuicin, esfuerzo, creatividad, tus
diagramas, etc., pueden jugar un papel importante. Una norma general, es dejar que la
informacin que encierra A (que ests suponiendo cierta) te ayude a elegir la tal pregunta.
Al margen de la pregunta clave que finalmente plantees, el siguiente paso ser responderla,
primero en general y luego aplicada a la situacin en cuestin. Puedes hacer esto para las
dos preguntas clave que supuestamente has planteado para B1? Para la primera, podras
demostrar que dos lados de un tringulo tienen igual longitud, probando que los ngulos
opuestos son iguales. En nuestro tringulo significara probar que los ngulos X e Y son
iguales. Un rpido examen de la proposicin A nos hace ver que no aporta mucha
informacin sobre los ngulos del tringulo XYZ. As pues, debemos elegir la otra pregunta
clave.

Ahora ests ya frente a la pregunta Cmo puedo probar que dos nmeros reales (a saber,
x e y) son iguales? Una respuesta es probar que su diferencia es cero. Desafortunadamente
hay otra respuesta perfectamente razonable: demostrar que el primer nmero es menor o
igual que el segundo y que el segundo es menor o igual que el primero. As pues, surge una
segunda dificultad en el mtodo de demostracin indirecta: puedes, incluso, elegir bien la
pregunta clave, pero puede haber ms de una respuesta para ella. Por otra parte, puedes
incluso elegir una respuesta que impida completar la demostracin. Por ejemplo, para la
pregunta clave Cmo puedo demostrar que un tringulo es issceles? estara la respuesta
Demostrando que es equiltero. Como puedes observar, es imposible demostrar que el
tringulo de nuestro ejemplo es equiltero, pues uno de sus ngulos es recto.

Volviendo a la pregunta clave asociada a B1 Cmo puedo demostrar que dos nmeros
reales (a saber, x e y) son iguales, supn, por razones que seguro ya ests viendo, que
eliges la respuesta de probar que su diferencia es cero? Has vuelto, en el mtodo de
demostracin indirecta, a construir una nueva proposicin B2 con la propiedad de que, si
puedes probar que B2 es verdadera, as lo ser B1 y, por tanto, tambin B. Concretamente, la
nueva proposicin B2 es

B2: x y 0.

Todos tus esfuerzos deben ahora dirigirse a llegar a la conclusin de que B2 es verdadera.
Debers, en ltimo lugar, hacer uso de la informacin de A, pero, de momento,
continuemos una vez ms con el mtodo de demostracin indirecta aplicado a B2.

Una pregunta clave asociada a B2 sera: Cmo puedo probar que la diferencia de dos
nmeros reales es cero? Despus de alguna reflexin, parece que no hay una respuesta
razonable a esta pregunta. Un nuevo problema surge en el mtodo de demostracin
indirecta: La pregunta clave aparentemente no tiene respuesta! No hay que desanimarse;
no todo est perdido. Recuerda que cuando quieres probar A implica B, debes suponer
que A es verdadera.

EJEMPLO 1

Demostrar que si 3n+2 es impar, entonces n es impar

p: 3n+2 es impar.
q: n es impar.

Suponemos la ~ q es decir que n es par, entonces n = 2k para algn entero k y demostramos

~ p es decir que 3n+2 es par.
Ahora se sigue que 3n+2 = 3(2k)+ 2 = 2(3k)+2 = 2 |(3k{+z 1)}

y 3n+2 es de la forma 2l

Por tanto 3n+2 es par, es decir ~ p

EJEMPLO 2

Si dos rectas diferentes se intersecan, su interseccin contiene solamente un punto.

1. y son dos rectas diferentes.

2. y se intersecan

3. y tienen dos puntos en comn:

4.

5.

6. .

En el paso 6 llegamos a contradecir la afirmacin 1, por tanto y tienen un nico punto

en comn.
 EL METODO DE DEMOSTRACION DIRECTA

El mtodo de demostracin directa parte de la proposicin A, que supones verdadera, y

deducir de ella una nueva proposicin A1 que puedas ver que es verdadera como resultado
de que A lo es. Es importante resaltar que las proposiciones deducidas de A no deben ser
hechas de cualquier modo, deben estar enfocadas hacia la ltima proposicin obtenida en el
mtodo indirecto. Volviendo a nuestro ejemplo, recordemos que la ltima proposicin
obtenida en el mtodo indirecto era B2 : x y 0.

En este ejemplo, la proposicin A es El tringulo rectngulo XYZ de catetos de longitud x

z2
4
e y e hipotenusa de longitud z, tiene por rea .

Como bien sabes, de A deducimos

xy z 2

2 4
A1:

Otra proposicin til deducida de A es

A2: x2 y2 z2.

Naturalmente que podemos combinar A1 y A2 y construir ms proposiciones verdaderas.

As, en nuestro caso, tendramos
 xy x 2 y 2

2 4
A3: .

Uno de los problemas de este mtodo es que es tambin posible construir algunas
proposiciones carentes de utilidad, por ejemplo: El ngulo X es menor de 90.

Como no hay normas especficas para construir nuevas proposiciones, tengamos presente
que, en nuestro caso, el mtodo de demostracin directa est dirigido a probar la
proposicin B2: x y 0, que fue la ltima que dedujimos en el mtodo de demostracin
indirecta. El hecho de que B2 no contenga el nmero z es la razn por la que hemos
eliminado z2 de A1 y A2 para construir A3.

Continuando con el mtodo de demostracin directa, debes intentar volver a escribir A3

para que se parezca ms a B2. Por ejemplo

A4: x2 2xy y2 0, que factorizndola da A5: (x y)2 0.

Es interesante hacer notar que el mtodo de demostracin directa nos ha dado una respuesta
a la pregunta clave que habamos asociado con B2: Cmo puedo demostrar que la
diferencia de dos nmeros reales es cero?, que, en este caso, sera demostrando que el
cuadrado de su diferencia es cero.

EJEMPLO 1

Demuestre directamente que si n es un entero impar entonces n 2 tambin es un entero

impar.

Tome un entero impar n arbitrario

n = 2k + 1, para algn entero k (axioma)

n 2 = (2k + 1)2 = 4k 2 + 4k + 1 (inferencia)

n 2 = 2(2k 2 + 2k) + 1 (inferencia)

n 2 es impar (axioma)

EJEMPLO 2
Demostrar utilizando el mtodo directo que la siguiente proposicin es teorema: La suma
de dos nmeros pares es un nmero par.

Supongamos que a, b son nmeros pares.

a= 2n

b= 2k

a+b=2n + 2k

a+b= 2(n+k)

a+b es numero par

si a, b son nmeros pares entonces a+b es un numero par.

SEGUNDA ETAPA

SILOGISMO HIPOTETICO

La presente regla dice que si el consecuente de una proposicin condicional X es el

antecedente de una condicional Y, podemos concluir con otra condicional constituida por el
antecedente de X y el consecuente de Y. Ejemplo:

Si el piso de la alberca est resbaloso, entonces alguien se caer.

Si alguien se caer, entonces conviene tener lista la camilla.
____________________________________________________
Si el piso de la alberca est resbaloso, conviene tener lista la camilla.

Su representacin es la siguiente:

(1) A B
(2) B C
(3) A C HS 1,2

Las siglas "HS" representan a la ley del Silogismo Hipottico (tambin conocida
como ley de la transitividad) y los nmeros a su lado representan las proposiciones de las
que se obtuvo.

SILOGISMO DISYUNTIVO
 Esta regla parte de, al menos, tres premisas: una disyuntiva y dos condicionales. La
disyuntiva encierra dos opciones, las cuales sern los antecedentes de ambas condicionales,
de tal modo que sus consecuentes podrn conformar una disyuncin. En otras palabras esto
significa que si dos posibilidades conllevan dos condiciones a cumplir, los efectos sern en
ltima instancia las posibilidades que se estarn escogiendo en ltima instancia[1].
Ejemplo:

O est durmiendo o se est baando.

Si est durmiendo no vendr a la fiesta.
Si se est baando, llegar tarde.
________________________________
No vendr a la fiesta o llegar tarde

Igualmente se pudo concluir:

Llegar tarde o no vendr a la fiesta.

Lo anterior se simboliza:

(1) A V B
(2) A C
(1) BD
(2) C V D DS 1, 2, 3.
O bien:

(4) D V C DS 1, 2, 3.

"DS" simboliza a la ley del Silogismo Disyuntivo y los nmeros a su lado derecho
muestran de que premisas se vali la regla.
TERCERA ETAPA

ANEXO 1, CASO 2

Soy un gran aficionado al ftbol y mi equipo ha pasado a disputar la

final del torneo y algo que he aprendido es que en 90 minutos del juego
se viven y se sienten muchas emociones, hay minutos de intensa alegra
otros minutos de ansiedad, otros de tristeza, en fin, el ftbol es una
pasin que genera toda una gama de sensaciones. Hoy es el da del
partido de la final y voy a narrar lo que viv en el transcurrir de los 90
minutos: Si mi equipo gana yo me pongo contento. Si mi equipo pierde
me pongo triste. En este momento mi equipo est ganando o est
perdiendo. Por consiguiente, estoy contento o triste. Comprobar la
validez del razonamiento que he hecho frente a las emociones que viv
en el partido de la final, hacerlo a travs de las dos maneras con la tabla
de verdad y con el uso de las leyes de inferencia.

p: gana partido
q: pierde partido
r: me pongo contento
s: me pongo triste

[(p r) v (q s)]

TRUTH TABLE
La tabla nos permite observar que se trata de una TAUTOLOGIA, por consiguiente, es un
razonamiento verdadero.
Usando las leyes de la inferencia podemos concluir:

Que se trata de un DILEMA CONSTRUCTIVO porque almenos una de sus antecedentes es

verdadero o gana y est contento, o pierde y est triste.
 CONLUSIONES

Con esta actividad que se realiz se logr comprender y adquirir conocimiento con respecto

al uso de las reglas de inferencia y terminologa delos diferentes tipos de demostracin

lgica matemtica y as de esta manera lograr los objetivos de la unidad.

De igual manera se investiga y continan aumentando los conocimientos referentes a la

lgica matemtica como una herramienta fundamental para la solucin de problemas.

 BIBLIOGRAFIA

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y fundamentos de

lgebra lineal. Volumen I: conjuntos numricos, complementos. Madrid, ES: Editorial
Tbar Flores. (pp. 17-29). Recuperado de: http://hdl.handle.net/10596/6534

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las

lgebras de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 9-54). Recuperado
de:http://hdl.handle.net/10596/7960

Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico: Universidad

autnoma de Sinaloa. (pp. 91 197). Recuperado de: http://hdl.handle.net/10596/7963

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse -

Grupo Editorial Patria. (pp. 29 38). Recuperado de: http://hdl.handle.net/10596/6544

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

http://supermileto.blogspot.com.co/2015/01/ley-del-silogismo-hipotetico.html