USO DE LAS REGLAS DE INFERENCIA

PRESENTADO POR:

ANGIE ANDREA VIAFARA

CODIGO: 1144090541

PRESENTADO A:

LEONARDO FABIO GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PALMIRA -VALLE DEL CAUCA

2017
 OBJETIVOS GENERALES

Con esta actividad se busca que cada estudiante entienda y comprenda cada uno
elementos de la Teora del Uso de las Reglas de Inferencia y pueda analizar
diferentes situaciones problemticas especficas

OBJETIVOS ESPECIFICOS

Conceptualizar la teora del Uso de las Reglas de Inferencia.

Resolver los ejercicios propuesto
 INTRODUCCIN

En este trabajo realizamos nuestra primera etapa de temticas sobre Uso de las Reglas de
Inferencia mostrando su definicin y ejemplos de dicho tema y mostrando como seria su
solucin.
 Primera etapa

Demostracin por el Principio de Induccin Matemtica

Induccin matemtica es un mtodo de prueba relativa utilizada por primera vez por el
sacerdote italiano Francesco maurolico (1494-1575) donde publico arithmeticorum libro
do (1575)

La induccin matemtica es un mtodo de demostracin que se utiliza cuando se trata de

establecer la veracidad de una lista infinita de proposiciones. El mtodo es bastante
natural para usarse en una variedad de situaciones en la ciencia de la computacin.
Algunas aplicaciones tienen un sabor muy matemtico, tal como verificar que todo
entero positivo satisface cierta frmula. Otra utilizacin frecuente es la de demostrar que
un programa de computacin o que un algoritmo con ciclos funciona como se espera.

Primer principio de induccin de matemticas

Sea P una propiedad definida en los nmeros naturales (enteros positivos). Si 1

satisface esa propiedad y adems si a partir de cualquier natural n que satisface esa
propiedad se llega a que n + 1, tambin la satisface, entonces cada nmero natural la
satisface.

Para probar que una propiedad P se cumple en los nmeros naturales, usando el
principio de induccin matemtica, se siguen los siguientes pasos:

1) Se comprueba para n = 1 (Comprobacin).

2) Se asume que se cumple para n = k (Hiptesis de induccin).

3) Se predice que se cumple para n = k + 1 (Tesis).

4) Se demuestra que si se cumple para n = k, entonces se cumple para n =

k + 1 (Demostracin).

Observacin: En algunos casos la propiedad se cumple a partir de un cierto natural m

> 1. Dada esa situacin, en el primer paso se comprueba para n = m

EJEMPLOS:
 Demuestre por induccin matemtica que:

Si n es un entero positivo, entonces n (n + 1) es divisible por 2.

a) Sea n = 1, entonces:
n ( n + 1 ) = 2 ( Verdadero ) .
b) Sea n = k, entonces:
k ( k + 1 ) es divisible por 2 ( Hiptesis de induccin ) .
c) Sea n = k + 1, entonces:
(k + 1 ) ( k + 2 ) es divisible por 2 ( Tesis ) .
d) Demostracin:
(k + 1 ) (k + 2 ) = k (k + 1) + 2 (k + 1 )
k ( k + 1 ) es divisible por 2 ( Por hiptesis de induccin ) .
2 (k + 1) es divisible por 2 (Entero par).
Por lo tanto (k + 1) ( k + 2 ) es divisible por 2 .

EJEMPLO:
Demostrar por induccin que:
2 + 4 +... + 2(n) = n(n + 1)

Demostracin: Nuestra n-sima proposicin p(n) es:

2 + 4 +... + 2(n) = n(n + 1)

Y ntese que:
p(1) = 2 = 1(2), donde 2 = 2
p(2) = 2 + 4 = 2(3), donde 6 = 6
p(3) = 2 + 4 + 6 = 3(4), donde 12 = 12
p(4) = 2 + 4 + 6+ 8 = 4(5), donde 20 = 20

As p(1) asegura 2= 1( 1 + 1) y como es verdadera por inspeccin tal como lo establece la

base de la induccin matemtica.
Para el paso inductivo, supongamos que p(n) es verdadera para alguna n, esto es

2 + 4 +... + 2(n) = n(n + 1)

es verdadera. Ahora queremos probar que para p(n + 1)

2 + 4 +... + 2(n) + (2(n + 1) = (n + 1)((n + 1) + 1)

es decir: 2 + 4 +... + 2(n) + (2n + 2) = (n + 1)(n + 2) tal como lo establece el paso inductivo.
Como p(n) es verdadera por hiptesis, y trabajando con el lado izquierdo de la igualdad,
tenemos que:
2 + 4 + ... + 2(n) + (2n + 2) = [2 + 4 + ... + 2n] + (2n +2)
= n(n + 1) + (2n + 2)
= n(n + 1) + 2(n + 1)
= (n + 1)(n + 2)

Entonces p(n + 1) es verdadera siempre que p(n) lo sea. Por el primer principio de
+
induccin matemtica se concluye que p(n) es verdadera n .

EJEMPLO:
Demuestre que la suma de la primera n entera impar positiva es n2.

Solucin

Sea (hiptesis de induccin)

Entonces, hay que demostrar que es cierta y que es

Cierta.

Entonces,

Con lo anterior, queda demostrado que la suma de los n impares positivos es n 2

 Segunda etapa

SIMIMPLIFICACION

es una inferencia inmediata vlida, forma de argumento y regla de inferencia que

hace que la inferencia de que, si la conjuncin A y B es cierta, entonces A es verdad
( o bien "B tambin es verdad", otra conclusin)

Simplificacin (s): obviamente, es la operacin inversa. Si disponemos de un

enunciado formado por dos miembros unidos por una conjuncin, podemos hacer de
los miembros dos enunciados afirmados por separado

P ^q tengo una manzana y tengo una pera

P tengo una manzana
Q tengo una pera

EJEMPLO:

2 es un nmero par y 2 es un nmero primo.

Luego 2 es un nmero par.

La regla se puede expresar el lenguaje formal como:

p^q
q

O como
 p^q
q
Donde la regla es que cada vez que aparecen las instancias de " p ^ q " en las lneas
de se puede colocar en una prueba, "p" o "q" en una lnea posterior.

LA CONJUCION

La conjuncin es un ordenador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad (verdadero) cuando
ambas son verdaderas y falso en cualquier otro caso.

(P^Q) smbolo lgico

La proposicin p ^ q es verdadera nicamente si p y q son verdaderas, los dems casos p y

q es falsa.
EJEMPLO:
Juanita, podr salir a la calle cuando arregles la cama y limpies los muebles

P ^q ( se lee:p y q)

EJEMPLOS:

P = El nmero 4 es par

Q = siempre el residuo de los nmeros pares es 2 entonces

P ^ q: el nmero 4 es par y siempre el residuo de los nmeros pares es 2

P= El nmero ms grande es el 34

Q= El tringulo tiene 3 lados entonces

P ^ Q: El nmero ms grande es el 34 y el tringulo tiene 3 lados

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
cone 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.

Solucin

Para empezar llamaremos siempre Alberto al cliente de Juan.

Si Alberto gana la apelacin, entonces Mara se retira del buffet de abogados. Mara se
retira del buffet de abogados si y slo si Alberto no es llevado a prisin. Por lo tanto, si
Alberto gana la apelacin, entonces no es llevado a prisin

Las proposiciones simples son:

p = Alberto gana la apelacin

q = Mara se retira del buffet de abogados

r = Alberto es llevado a prisin

Y las premisas ya usando la notacin de TRUTH tables son:

p>q

q = ~r
y la conclusin

p > ~r

Por 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. Luego el razonamiento est bien.

Ahora la hago por tabla de verdad aunque lo pedan lo primero.

Lo que debemos comprobar es:

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

Y la tabla es esta:

Que es una tautologa, el razonamiento es correcto.

Y con TRUTH escribimos la expresin que habamos dicho

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

y nos da
 APORTE GRUPAL

Primer etapa

http://prezi.com/zbvco6_nb8a0/?utm_campaign=share&utm_medium=copy

Segunda etapa

La Escuela de Ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD realiz

como evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder Nacional de la
Escuela le ha informado al Decano Nacional de Escuela como fue la premiacin, el primer
lugar recibir un computador porttil, el segundo lugar recibir una Tablet y el tercer lugar
recibir una coleccin de libros de matemticas Schaun; para dicho fin el lder Nacional
hizo el siguiente razonamiento: Si Ximena se gan el computador entonces Johan recibi
la Tablet o Ricardo fue quien recibi la Tablet. Si Johan fue quien recibi la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien recibi la
Tablet entonces Ricardo no fue quien recibi la Tablet. Ximena se gan el computador. Por
lo tanto, Carlos no fue quien recibi la Tablet.

Solucin:

Declaracin de las proposiciones simples,

p: Ximena se gan el computador.

q: Johan recibi la Tablet.

r: Ricardo fue quien recibi la Tablet.

s: Carlos fue quien recibi la Tablet.

Declaracin de las premisas,

PREMISA 1: Si Ximena se gan el computador entonces Johan recibi la

Tablet o Ricardo fue quien recibi la Tablet.

PREMISA 2: Si Johan fue quien recibi la Tablet, entonces Ximena no

obtuvo como premio el computador.

PREMISA 3: Si Carlos fue quien recibi la Tablet entonces Ricardo no fue

quien recibi la Tablet

PREMISA 4: Ximena se gan el computador

CONCLUSIN: Carlos no fue quien recibi la Tablet.

Declaracin de las premisas en lenguaje formal,

PREMISA 1: ()

PREMISA 2:

PREMISA 3:

PREMISA 4:

CONCLUSIN:
Expresin formal del razonamiento:

{[()]()()()}()

Demostracin por tabla de verdad:

Debe verificarse que al generar un condicional con las premisas enlazadas en una
conjuncin como antecedente, y la conclusin el consecuente; se obtiene una tautologa. De
modo que,

La tabla anterior permite evidenciar que es una tautologa, por lo cual el razonamiento es
vlido.
Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en que las
premisas sean verdaderas y la conclusin sea falsa. Se tiene entonces la siguiente tabla:
 CONCLUSIONES

Por medio de este trabajo nos dimos cuenta de la importancia de analizar, de

manejar el tema de los Uso de las Reglas de Inferencia, y la tabla de la verdad.
 BIBLIOGRAFA

http://mate.cucei.udg.mx/matdis/2ind/2ind4.htm

https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole

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