Vous êtes sur la page 1sur 15

1Paso 3 Uso de las reglas de inferencia 1

Actividad presentada para aprobacin de la Unidad 3.


Paso 3 Uso de las reglas de inferencia.
Universidad Nacional Abierta y a Distancia - UNAD, CEAD Palmira
Ingeniera de Telecomunicaciones

Pensamiento lgico y Matemtico


Tutor: Leonardo Fabio Garca

Andrs Felipe Ortega Aristizbal.


1116.245.923
Grupo 200611_449
Abril 2017.
2

Tabla de contenido

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


terminologas de los diferentes tipos de demostracin en la lgica matemtica..................5
Segunda Etapa: Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de las leyes de inferencia lgica....................................................................5
Tercera Etapa: Enunciados de la inferencia logica............................................................5
Conclusiones.........................................................................................................................6
Lista de referencias...............................................................................................................6
Introduccin 3

En lgica, especialmente en lgica matemtica, una regla de inferencia es un esquema para


construir inferencias vlidas. Estos esquemas establecen relaciones sintcticas entre un conjunto
de frmulas llamados premisas y una asercin llamada conclusin.

Por ejemplo, la regla de inferencia llamada Modus ponendo ponens toma dos premisas, uno en la
forma "Si p entonces q" y otra en la forma "p", y vuelve la conclusin "q". La regla es vlida con
respecto a la semntica de la lgica en el sentido de que si las premisas son verdaderas, entonces
tambin lo ser la conclusin.

Por lo general, una regla de inferencia conserva la verdad, una propiedad semntica. En muchos
valores lgicos, esta conserva una designacin general. Pero la accin de la regla de inferencia es
puramente sintctica, y no es necesario preservar ninguna propiedad semntica: cualquier funcin
de conjuntos de frmulas para frmulas cuenta como una regla de inferencia. Por lo general, solo
son importantes las reglas que sean recursivas; es decir, reglas de modo que no haya un
procedimiento efectivo para determinar si cualquier frmula dada es la conclusin de un
determinado conjunto de frmulas de acuerdo a la regla.
Objetivo General 4
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 Especficos

Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e


indirectas.
Identificar y conceptualizar los diferentes tipos de leyes de inferencia lgica y sus
respectivas representaciones en las tablas de verdad.
Interpretar un enunciado tipo argumento de una situacin problmica del mundo real y
demostrar su validez a travs de las tablas de verdad y de las leyes de inferencia.
ACTIVIDAD INDIVIDUAL 5

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


terminologas de los diferentes tipos de demostracin en la lgica matemtica.

MTODO DE DEMOSTRACIN DIRECTA


En este mtodo, se tiene como hiptesis verdaderas las proposiciones P1, P2,,Pn 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.

Pasos para la prueba de un teorema


1. Si el teorema no tiene la forma si entonces, debe ponerse en esta forma.
2. Dibjese y rotlese un diagrama para mostrar las condiciones del teorema.
3. Identificar hiptesis y tesis.
4. Analcese lo que se va a probar e idese un plan.
5. Formlese la prueba dando como razones definiciones, postulados o teoremas ya probados.

El esquema de demostracin en el mtodo directo es de la forma: P1 P2 Pn Q.


El mtodo de demostracin directo tiene como fundamento lgico la regla de inferencia clsica o
esquema argumentativo vlido llamado Modus Ponens: [P (PQ)] Q que significa: si la
hiptesis P es verdadera y la hiptesis P implica la conclusin Q entonces la conclusin Q es
verdadera.

Ejemplo 1.
a=2 n+ 1 y n Z Definir nmero impar
b=2 n+ 1 y k Z Definir nmero impar
a . b= ( 2n+1 ) ( 2 k +1 ) Ley uniforme del producto
2 n.2 k +2 n+2 k +1 Ley distributiva
2 ( 2 n . k +n+ k ) ZLey clausurativa
a . bes un numero impar Definicin de numero impar
Si a es impar y b es impar entonces a . b es impar . Metodo directo
Ejemplo 2. 6
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:

Paso 1. El primer paso est contenido en la proposicin del teorema.

Paso 2.
Paso 3. Hiptesis: B es el punto medio del segmento AC
C es el punto medio del segmento BD

Tesis:
Paso 4. Idearse el plan,
Se interpretar cada una de las proposiciones de los datos como una proposicin sobre la
congruencia de segmentos y se utilizar la propiedad transitiva.

Paso 5.

Ejemplo 3:
En un tringulo issceles, el segmento que va del ngulo diferente al punto medio del lado
opuesto forma un par de tringulos congruentes.

Paso 1.
AC
Si ABC es un triangulo isoceles con AB , y si D es el punto medio de BC
, entonces ABD
ACD

Paso 2.
7

Paso 3.

Hiptesis
D es el puntomedio de BC
AC
AB Tesis
ABD ACD Paso 4.
Idearse un plan.
Se usar la informacin proporcionada, la definicin de punto medio, la propiedad reflexiva y el
postulado LLL de la congruencia.

Paso 5.

MTODOS DE DEMOSTRACIN INDIRECTOS


La demostracin indirecta establece la verdad de una afirmacin demostrando la falsedad de la
afirmacin contraria. Los pasos a seguir para escribir una demostracin indirecta son:
Asumir que la conclusin es falsa
Mostrar que la suposicin conduce a una contradiccin de l hiptesis u otro hecho.
Observar que la suposicin sea falsa y que por consiguiente la conclusin sea verdadera.

Dentro de este mtodo encontramos otros mtodos que tiene relacin.
Mtodo de demostracin por contrapositiva.
Tiene como fundamento la equivalencia lgica entre las proposiciones PQ y ~Q~P) Para
realizar una demostracin por contrapositiva se toma como hiptesis la negacin de la conclusin
escrita como ~Q para obtener como conclusin la negacin de la hiptesis escrita como ~P, ello
se puede generalizar para el caso que se tengan varias premisas.
Mtodo de demostracin por reduccin al absurdo.
Se atribuye al filsofo griego Zenn de Elea, alrededor del siglo V a.C., la invencin del mtodo
de reduccin al absurdo que utilizaba en sus argumentos y en sus famosas paradojas, desde
entonces es un mtodo ampliamente aplicado en matemticas.

El procedimiento general para demostrar indirectamente por reduccin al absurdo una


proposicin de la forma (P1P2Pn ) Q consiste en:1) Asumimos que la condicional es
falsa luego las proposiciones P1, P2,, Pn y~Q son verdaderas2) De lo anterior debemos llegar a
una contradiccin, por lo que la condicional tiene que ser verdadera.

Ejemplo 1:

Dado: 1 es un angulo exterior del MNP


Prueba: m1>m 4 ,m 1> m3
Demostracin:
Paso 1: suponemos que m1>m 3 y m 1> m 4. Asi m1 m3 y m1 m 4
Paso 2: Mostramos que la suposicin m1 m3 nos conduce a una contradiccin, pues el
argumento para m1 m4 utiliza el mismo razonamiento.
m 1 m3 Significa que cualquiera m1=m 3 o m 1< m 3.

Caso 1: m 1=m3
Como m 3+ m 4=m1 por el teorema del ngulo exterior tenemos
m3+ m 4=m3 por sustitucin. Entonces m 4=0 , el cual contradice el hecho de
que la medida de un ngulo es mayor que cero.
Caso 2: m 1<m 3
Por el teorema del angulo exterior m3+ m 4=m 1 . Como medida de los angulos es
positiva, la definicin de desigualdad implica m1>m 3 y m 1> m4. Esto contradice la
suposicin de m 1 m3 y m1 m 4.
Segunda Etapa: Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de las leyes de inferencia lgica.

Modus Ponendo Ponens


En el latn el modo que, al afirmar afirma, es una forma de argumento vlido y una regla de
inferencia en la lgica proposicional. Se expresa si P implica Q; y P es verdad; entonces Q
tambin es verdad.

Donde la regla es cuando P Q y P aparezcan por si mismos en una misma lnea de una
prueba lgico, Q puede ser escrito vlidamente es una lnea subsiguiente.
Ejemplo 1:
Si est lloviendo, te espero dentro del teatro.
Est lloviendo.
Por lo tanto, te espero dentro del teatro.
Ejemplo 2:
Si estudio mucho, entonces pasar el examen.
Estudio mucho.
Por lo tanto, pasar el examen.

Ejemplo 3:
Si no hace frio, entonces el lago no se congelar.
No hace frio.
El lago no se congelar.

Modus Tollendo Tollens.


En el latn el modo que, al afirmar afirma, es una forma de argumento vlido y una regla de
inferencia en la lgica proposicional. Se expresa si P implica Q; y P no es verdadera; entonces Q
tampoco es verdadera.
.

Donde la regla es cuando P Q y P significa no es el caso de que Q, entonces cada vez


que P Q y Q aparecen por si mismas como lneas de una prueba P se puede
colocar vlidamente es una lnea posterior.
Ejemplo 1:
Si est lloviendo, te espero dentro del teatro.
No te espero dentro del teatro.
Por lo tanto, no est lloviendo.
Ejemplo 2:
Si estudio mucho, entonces pasar el examen.
No pas el examen.
Por lo tanto, no estudi mucho.

Ejemplo 3:
Si no hace frio, entonces el lago no se congelar.
El lago se congel.
Hace frio.

Tercera Etapa: Enunciados de la inferencia logica

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.

Declaramos las preposiciones simples:

P Si el cliente de Juan gana la apelacin


Q Mara se retira del buffet de abogados
R El cliente de Juan es llevado a prisin

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.

Declaramos el razonamiento en lenguaje formal

[(p>q) & (q=~r)] > (p>~r)


Aplicamos la ley de inferencia modus ponens.

Si se cumple p se cumple q y por lo mismo si se cumple q se cumple ~r, por lo tanto si se cumple
p se cumple ~r.
P Q R P>Q ~R Q=~R (P>Q)&(Q=~R) P>~R [(P>Q) & (Q=~R)] > (P>~R)
V V V V V F F V V
V V F V F V V V V
V F V V V V V V V
V F F V F F F V V
F V V F V F F V V
F V F F F V F F V
F F V V V V V V V
F F F V F F F F V

Es una tautologa, el razonamiento es correcto.

Comprobamos con TRUTH


Conclusiones

Por medio del desarrollo de las actividades planteadas, reforzamos nuestros conocimientos en el
uso y aplicacin de las tablas de verdad, identificar y componer preposiciones a travs de
enunciados (textos), de igual manera se logra conocer los mtodos de demostracin y aprender
una parte sobre las reglas de inferencia y argumentos lgica.
Lista de referencias

Chvez Caldern, Pedro. Compendio de lgica. : Larousse - Grupo Editorial Patria,


2000. ProQuest ebrary. Web. 27 April 2016.
Villalpando Becerra, Jos Francisco. Matemticas discretas: aplicaciones y ejercicios.
Larousse - Grupo Editorial Patria, 2000. ProQuest ebrary. Web. 27 April 2016.
Wikipedia. (2017). Modus Ponendo Ponens. abril 30, 2017, de Wikipedia Sitio web:
https://es.wikipedia.org/wiki/Modus_ponendo_ponens
Wikipedia. (2017). Modus tollendo tollens. abril 30, 2017, de Wikipedia Sitio web:
https://es.wikipedia.org/wiki/Modus_tollendo_tollens
Simulador TRUTH, Recuperado de:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Giraldo J. D. Simulador Trhuth Recuperado de: https://youtu.be/siXFce-RKyc