UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA

PENSAMIENTO LGICO Y MATEMATICO

LEYES DE INFERENCIAS

NUMERO DE GRUPO: 200611_749

PRESENTADO POR:
KARINA CALDERON MURILLO

PRESENTADO A:
YADI MILENA CAMACHO

QUIBD-8/11/2016 DE OCTUBRE DE 2016

 Objetivos

Identificar y conceptualizar los diferentes tipos de reglas de inferencia lgica y

sus respectivas representaciones en las tablas de verdad.

Interpretar un enunciado tipo argumento de una situacin problmicas del

mundo real y demostrar su validez a travs de las tablas de verdad y de las
reglas de inferencia.
 Introduccin

Con este trabajo se busca profundizar el contenido temtico de la unidad 3 y del curso de
lgica matemtica, por medio de la realizacin de una serie de fases que se encuentran
estipuladas en la gua de actividades, con el fin de lograr de manera prctica profundizar los
conocimientos adquiridos, lograr un dominio y anlisis de las reglas de inferencias de
acuerdo a la lgica proposicional y las terminologas de la lgica matemtica
Primera etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas
de los diferentes tipos de Demostracin en la Lgica Matemtica (slo selecciona una e
informa en el foro cual escogi, para que no sea escogido por otro integrante), la
terminologa es la siguiente:

1: Demostracin por el Principio de Induccin

Matemtica
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.
 1: 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 .

 2: Demuestre por induccin matemtica que:

2 + 6 + 10 + . . . . . + ( 4 n 2 ) = 2n2

a ) Sea n = 1 , entonces:

4n 2 = 2

2n2 = 2 (Verdadero) .

b ) Sea n = k , entonces:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) = 2k2 ( Hiptesis de
induccin ) .

c ) Sea n = k + 1 , entonces:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2
) = 2 ( k + 1 ) 2 ( Tesis ) .

d ) Demostracin:

2 + 6 + 10 + . . . . . + ( 4 k 2 ) = 2k2 ( Por hiptesis de

induccin ) .

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2
) = 2k2 + (4(k + 1) 2)

2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2
) = 2k2 + 4k + 2

Por lo tanto 2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2
) = 2(k + 1)2
3: Demuestre por induccin matemtica que:

Si n es un entero positivo, entonces a2 n b2 n es divisible

por a + b .

a ) Sea n = 1 , entonces:

a 2n b 2n = a2 b2 = ( a + b )( a b ) ( Verdadero ) .

b ) Sea n = k , entonces:

a 2 k b 2 k es divisible por a + b ( Hiptesis de induccin ) .

c) Sea n = k + 1 , entonces:

a 2(k + 1) b 2(k + 1) es divisible por a + b ( Tesis ) .

d) Demostracin:

a 2 k b 2 k es divisible por a + b ( Por hiptesis de induccin ) .

a 2 ( a 2 k b 2 k ) es divisible por a + b .

b 2 k ( a 2 b 2 ) es divisible por a + b .

a 2 ( a 2 k b 2 k ) + b 2 k ( a 2 b 2 ) es divisible por a + b .

a 2k + 2 a 2 b 2k + b 2k a 2 b 2k + 2 es divisible por a + b .

Por lo tanto a 2 ( k + 1) b 2(k + 1) es divisible por a + b .

 Segunda etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de

alguna de las terminologas de las leyes de inferencia lgica
(slo selecciona una e informa en el foro cual escogi, para
que no sea escogido por otro integrante), la terminologa de
las leyes de inferencia es la siguiente.

Silogismo Hipottico y Silogismo Disyuntivo

SILOGISMO HIPOTTICO (SH)
Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra
(el mismo enunciado), podemos construir una nueva implicacin cuyo antecedente sea el de
aquella implicacin cuya consecuencia sea el antecedente de la otra implicacin, y cuyo
consecuente sea el de sta ltima, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es a su
vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de
esa segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola
blanca que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola
negra. Expresado en forma de inferencia lgica:
Ejemplos
p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve
q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve

SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una nueva
premisa en forma de disyuncin, cuyos miembros seran los consecuentes de las dos
implicaciones. Lgicamente, si planteamos una eleccin entre dos causas, podemos
plantear una eleccin igualmente entre sus dos posibles efectos, que es el sentido de esta
regla.
Ejemplos

p q Si llueve, entonces las calles se mojan

r s Si la tierra tiembla, los edificios se caen
p V r Llueve o la tierra tiembla
q V s Las calles se mojan o los edificios se caen

Revisado el concepto de Silogismo Disyuntivo, y examinados igualmente los dos modos de

expresar formalmente este tipo de razonamiento que muestra la forma de obtener una
inferencia o conclusin a dos nociones que se excluyen mutuamente, es decir, que no pueden
resultar ni verdaderas ni falsas simultneamente, resulta necesario igualmente exponer
algunos ejemplos en base a este tipo de razonamiento lgico.

Ejemplos
Premisa Mayor: O ganaron Los Medias Blancas o ganaron Los Medias Rojas
Premisa Menor: Ganaron Los Medias Blancas
Conclusin: Entonces, no ganaron Los Medias Rojas
 Tercera etapa:
Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas de
verdad) y la aplicabilidad de las leyes de inferencia lgica de uno de los problemas de
enunciados tipo argumento del ANEXO 1; adems adjuntar un pantallazo de la
comprobacin de la tabla de verdad con el simulador TRUTH dicho simulador est
dispuesto en el entorno de Aprendizaje Prctico. En el foro de Interaccin y
Produccin encontrar un link que le permitir descargar un PDF con un ejemplo de
cmo realizar el proceso de demostracin de la validez del argumento con el uso de la
tabla de verdad.. (Recuerde slo seleccionar uno e informar en el foro el seleccionado
para que no sea escogido por otro integrante).

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>r) & (q>s) & (p&m) >(n&r)]

p: teresa tiene cuatro aos de edad

r: teresa posee los mismos aos de vida que juliana
q: Jacinto tiene una edad diferente que teresa
s: Jacinto posee una edad diferente que juliana
m: Jacinto tiene la misma edad que juliana
n: Jacinto posee la misma edad de teresa
El razonamiento hecho por el Ruth es vlido.
 CONCLUSIONES

Sin darnos cuenta, en casi todas las actividades cognitivas en las que nos involucramos
usamos leyes de inferencia, y sin duda estas son de muchsima importancia en casi todos
los campos de la ciencia, en especial las matemticas y aprender estas reglas nos ha servido
a reafirmar muchos conocimientos y a aprender nuevos para poder aplicarlos en nuestro
campo.

Referencias Bibliogrficas
Boolos, George; Burgess, John; Jeffrey, Richard C. (2007). Computability and logic (en
ingls). Cambridge: Cambridge University Press. p. 364. ISBN 0-521-87752-0.

Volver arriba John C. Reynolds (2009) [1998]. Theories of Programming Languages (en
ingls). Cambridge University Press. p. 12. ISBN 978-0-521-10697-9.

Volver arriba Kosta Dosen (1996). Logical consequence: a turn in style. En Maria Luisa
Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem. Logic and Scientific
Methods: Volume One of the Tenth International Congress of Logic, Methodology and
Philosophy of Science, Florence, Agust 1995. Springer. p. 290. ISBN 978-0-7923-4383-
7. preprint (con diferente paginacin)