UNIDAD 3 PASO 3.

USO DE LAS REGLAS DE INFERENCIA

PRESENTADO POR
MARIA ALEJANDRA ORTEGA MARTIN

PRESENTADO A
PEDRO PABLO BOHORQUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD GARAGOA
INGENIERIA INDUSTRIA
COD 200611
26/06/17
 OBJETIVO GENERRAL
Identificar y utilizar en forma clara las reglas de inferencia lgica por induccin y
deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones
especficas.

OBJETIVOS ESPECIFICOS
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.
 INTRODUCCION
Este trabajo est basado en el mtodo de deduccin, induccin, y razonamiento mediante la
situacin problemtica que nos brinda la gua para desarrollar con el propsito de aprender y dar
una solucin, clasificando segn su lgica y la validez a travs de las tablas de verdad (simulador
TRUTH).
 PRINCIPIO DE INDUCCIN MATEMTICA
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 ceirta
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 matemtica
Consideremos una lista de proposiciones p(1), p(2), p(3), ... con ndices en los enteros
positivos +. Todas las proposiciones p(n) son verdaderas a condicin que:
(B) p(1) sea verdadera.
(I) p(n + 1) es verdadera siempre que p(n) lo sea.
Nos referimos a (B), es decir al hecho de p(1) es verdadera, como la base de la induccin y nos
referimos a (I) como el paso inductivo. En la notacin del clculo proposicional (I) equivale
decir que:
+
La implicacin p(n) p(n + 1) es verdadera n .
Ejemplo:
+
Demostrar (3k - 2) = 1/2(3n - n) n .
Demostracin: La n-sima proposicin p(n) es verdadera, esto es

(3k - 2) = 1/2(3n - n)
Ntese que:
p(1) = 1 = 1/2[3(1) - 1)] de aqu que 1 = 1
p(2) = 1 + 4 = 1/2[3(2) - 2)] de aqu que 5 = 5
p(3) = 1 + 4 + 7 = 1/2[3(3) - 3)] de aqu que 12 = 12
.
.
.
En particular, p (1) es verdadera por inspeccin y esto establece la base de la induccin. Ahora
supngase que p(n) es verdadera para algn n, esto es:

(3k - 2) = 1/2(3n - n)
Necesitamos demostrar que p(n + 1)

(3k - 2) = 1/2[3(n + 1) - (n + 1)]

Tal como lo establece el paso inductivo.
Utilizando p(n) tenemos que

(3k - 2) = (3k - 2) + [3(k + 1) - 2]= 1/2(3k - k) + (3k + 1)

Para verificar p(n + 1) necesitamos comprobar que:
1/2(3k - k) + (3k + 1) = 1/2[3(k + 1) - (k + 1)]
Esto ya es un problema puramente algebraico, para lo cual se trabajara con el lado izquierdo de
la igualdad, esto es:

1/2(3k - k) + (3k + 1) = 1/2(3k - k + 6k + 2)

= 1/2(3k + 5k + 2)

= 1/2(3k + 2)(n + 1)

= 1/2[3(k + 1) -1](k + 1)

= 1/2[3(k + 1) - (k + 1)]

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 .
No siempre es necesario el uso del smbolo de sumatoria para aplicar la induccin matemtica,
puede tambin utilizarse parte del desarrollo de la misma, como lo muestra el siguiente:
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 algn 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
 LEY DE ADICIN Y TOLLENDO
Se puede adicionar proposiciones simples con el trmino de enlace disyuncin, aplicando la ley
de la adicin. Su abreviatura es LA (Ley de la Adicin)
Deducciones o deduccin proposicional
Son la combinacin de reglas de inferencia lgica que se puede aplicar a un conjunto de premisas
para llegar a la demostracin y obtencin de la conclusin.
Inferencia Lgica

Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y matemticas

y al final una serie de reglas que se utilizan para la inferencia deductiva.
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones
establecidas.

Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones
conocidas y de ellas se desprende una conclusin.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
Inductiva (de lo particular a lo general)

Aqu por ejemplo si durante la primera semana el maestro llega 10 minutos tarde, podemos
concluir que todo el semestre va a llegar tarde. Esta conclusin no necesariamente es vlida
porque puede ser que el maestro algn da llegue temprano. En general una inferencia inductiva
es la que se desprende de una o varias observaciones y en general no podemos estar seguros de
que ser verdadero lo que concluimos.

En este caso podemos mencionar el ejemplo el mentiroso: Un joven le dice a un amigo, tu todos
los das dices mentiras, y l contesta, no es cierto, ayer en todo el da no dije una sola mentira.
Resumiendo, la inferencia inductiva es la ley general que se obtiene de la observacin de uno o
ms casos y no se puede asegurar que la conclusin sea verdadera en general.
Deductiva (de lo general a lo particular).

MODUS TOLLENDO TOLLENS

p q, q p
Tollendo Tollens significa negando, niego, y se refiere a una propiedad inversa de los
condicionales, a los que nos referamos en primer lugar.
p entonces q Si llueve, entonces las calles se mojan
q Las calles no se mojan
p Luego, no llueve
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.
Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas de
una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite afirmar si est
afirmado el antecedente (el primer trmino de la implicacin), y la regla tollendo tollens slo nos
permite negar a partir del consecuente (segundo trmino de la implicacin); ambas
consecuencias se derivan de que la implicacin es una flecha que apunta en un nico sentido, lo
que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente.

PONENDO PONENS
p q, p q
El condicional o implicacin es aquella operacin que establece entre dos enunciados una
relacin de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un
condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este caso q).
p entonces q Si llueve, entonces las calles se mojan (premisa)
p Llueve (premisa)
q Luego, las calles se mojan (conclusin).
 SOLUCION DE LA SITUACION PROBLEMATICA
5. Un grupo de estudiantes de Licenciatura en Pedagoga Infantil de la UNAD han iniciado un
trabajo de campo con algunos nios de un Jardn Infantil, para generar estrategias en cuanto al
proceso del aprendizaje de lectura, siendo muy importante la edad cronolgica en los nios para
el fortalecimiento de dicho proceso de aprendizaje. Ruth es la docente que lidera el trabajo de
campo de los estudiantes y les comenta lo siguiente: si Teresa tiene cuatro aos de edad,
entonces Teresa posee los mismos aos de vida que Juliana. Si Jacinto tiene una edad diferente
que Teresa, entonces Jacinto posee una edad diferente que Juliana. Teresa tiene cuatro aos y
Jacinto tiene la misma edad que Juliana. Por consiguiente, Jacinto posee la misma edad que
Teresa y Teresa la misma edad que Juliana. Por favor determinar si el razonamiento hecho por
Ruth es vlido, segn el proceso de demostracin por medio de tablas de verdad y del uso de las
leyes de inferencia.

P= teresa tiene 4 aos.

Q= Teresa posee los mismos aos de vida que juliana.
S= Jacinto posee la misma edad que Teresa.
Organizando los datos
{[(P Q) (~R ~S)] (P S)} (R Q)
TABLA DE VERDAD
P Q R S ~ ~S
R
V V V V F F
V V V F F V
V V F V V F
V V F F V V
V F V V F F
V F V F F V
V F F V V F
V F F F V V
F V V V F F
F V V F F V
F V F V V F
F V F F V V
F F V V F F
F F V F F V
F F F V V F
 F F F F V V

PQ ~ R ~S PS (PQ) (~R ~S [(P Q) (~R (R {[(P Q) (~R

) ~S)] (P S)} Q) ~S)] (P
S)} (R Q)
V V V V V V V
V V F V F F V
V F V F F F V
V V F V F F V
F V V F F V V
F V F F F F V
F F V F F F V
F V F F F F V
V V F V F V V
V V F V F F V
V F F F F F V
V V F V F F V
V V F V F V V
V V F V F F V
V F F F F F V
V V F V F F V

Es una tautologa.
Aplicando las leyes de la inferencia lgica
{[(P Q) (~R ~S)] (P S)} (R Q)
PQ premisa
~R ~S premisa
PS premisa
RQ conclusin
1 PQ Premisa
2 ~R ~S Premisa
3 PS Premisa
4 P Ley de simplificacin en 3
5 S Ley de simplificacin en 3
6 Q Modus ponens en 1
7 R Modus tollens en 2
8 RQ Adjuncin de 7 y 8
 CONCLUSIONES
Este trabajo lo realice con el fin de tener un nuevo conocimiento basado en la gua dada por el
tutor para el desarrollo.
Analizar en conjunto la temtica ms importante siguiendo la gua para obtener resultados y
respuestas acertadas.
Aprender a manejar correctamente el manejo del simulador TRUTH.
 BIBLIOGRAFIA
http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-q-modus.html
http://definicion.de/tautologia/