1

RAZONAMIENTOS LGICOS, LGICOS (INDUCTIVOS)

INFERENCIA LGICA Y

ARGUMENTOS

SUSAN STEPHANI CORTES

200611A_102
Pensamiento Lgico Matemtico

Universidad Nacional Abierta Y a distancia - UNAD

Administracin en Salud
Palmira
Junio 2016

TABLA DE CONTENIDO
1. Introduccin
2. Objetivos
1.1 objetivo especifico
1.2 objetivos generales
3. Desarrollo de la gua
4. Planteamiento de problemas
5. Conclusiones
6. Referencias bibliogrficas

INTRODUCCION
Los razonamientos pueden ser vlidos (correctos) o no vlidos
(incorrectos). En general, se considera vlido un razonamiento cuando sus premisas ofrecen
soporte suficiente a su conclusin. Puede discutirse el significado de "soporte suficiente", aunque
cuando se trata de un razonamiento no deductivo, el razonamiento es vlido si la verdad de las
premisas hace probable la verdad de la conclusin. En el caso del razonamiento deductivo, el
razonamiento es vlido cuando la verdad de las premisas implica necesariamente la verdad de la
conclusin.

Los razonamientos no vlidos que, sin embargo, parecen serlo, se denominan falacias.
El razonamiento nos permite ampliar nuestros conocimientos sin tener que apelar a la
experiencia. Tambin sirve para justificar o aportar razones en favor de lo que conocemos o
creemos conocer. En algunos casos, como en las matemticas, el razonamiento nos permite
demostrar lo que sabemos; es que aqu hace falta el razonamiento cuantitativo
El termino razonamiento es el punto de separacin entre el instinto y el pensamiento, el instinto
es la reaccin de cualquier ser vivo. Por otro lado el razonar nos hace analizar,y desarrollar un
criterio propio, el razonar es a su vez la separacin entre un ser vivo y el hombre.

OBJETIVOS
OBJETIVO ESPECIFICO:
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.

DESARROLLO DE LA GUIA
Fase Individual:

Primer Aporte individual

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos ejemplos de

alguna de los Teoremas y Tcnicas de Demostracin (slo selecciona una e informa en el foro
cual escogi, para que no sea escogido por otro integrante), las operaciones son:
Demostracin por el Principio de Induccin Matemtica.

por lo cual realizo mi primer aporte:

INDUCCIN MATEMTICA
El principio de Induccin Matemtica es un mtodo que se utiliza para demostrar propiedades,
formulas, validarlas y probar que son verdaderas. Es un mtodo simple que consta de tres pasos
fundamentales en los cuales se debe demostrar la propiedad reemplazando su incgnita por 1,
luego por k y finalmente por k+1. En cualquier ciencia experimental, la induccin es el proceso
de obtener un resultado general a partir del anlisis de casos particulares.

De esta forma, observando la cada de una serie de cuerpos pesados, se induce que cualquier
cuerpo ms pesado que el aire cae por la accin de la gravedad. Este hecho se considerara valido
mientras no se encuentre un cuerpo ms pesado que el aire que no caiga. G. Piano (1858-1932)

propuso cinco propiedades fundamentales que caracterizan a los nmeros naturales, Axiomas de
Piano. Una de ellas conocida como el Principio de Induccin Matemtica es actualmente una
herramienta de uso prctico y terico principalmente para matemticos y personas que trabajan
en Ciencias Computacionales.

El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los
nmeros naturales o a cualquier subconjunto de los enteros mayores o iguales a un entero fijo.

La induccin matemtica es el equivalente al mtodo cientfico. Pero para lo cual no se puede

generalizar. Los pasos para desarrollar la Induccin Matemtica se detallan en el contenido del
presente trabajo de investigacin.

El _rea de la programacin es muy amplia y con muchos detalles. Los programadores necesitan
ser capaces de resolver todos los problemas que se les presente a travs del computador aun
cuando en el lenguaje que utilizan no haya una manera directa de resolver los problemas. En el
lenguaje de programacin C, as como en otros lenguajes de programacin, se puede aplicar una
tcnica que se le dio el nombre de recursividad por su funcionalidad. Esta tcnica es utilizada en
la programacin estructurada para resolver problemas que tengan que ver con el factorial de un
nmero, o juegos de lgica. Las asignaciones de memoria pueden ser dinmicas o estticas y hay
diferencias entre estas dos y se pueden aplicar las dos en un programa cualquiera.

LOS CONJUNTOS INDUCTIVOS

En la Axiomtica de la Teora de Conjuntos, en particular en el Sistema Axiomtico de

Neumann-Bernays-Godel-Quine (N-B-G-Q) se establece el Axioma de Infinitud

Existe al menos un conjunto de clases inductivas, esto es, de clases tales que
contener un elemento implica contener a su elemento siguiente. Tal familia es
admitida, pues, como no vaca.

Los nmeros naturales pueden ser introducidos con un conjunto N de clase inductiva, como el
mnimo conjunto inductivo. Se introduce el concepto de nmero ordinal y se prueba que
cualquier nmero natural es un nmero ordinal.
Peano (Giuseppe Peano, Cuneo-Piamonte, 1858 Turn, 1932) introdujo los nmeros naturales
mediante un sencillo teorema consistente en cinco afirmaciones denominadas Postulado de
Peano o Axiomas de Peano para los nmeros naturales, que permiten, pues, estructurar
algbricamente el conjunto N. As, puede definirse el conjunto N como un conjunto que verifica
las siguientes condiciones axiomticas:

1) Existe al menos un nmero natural, que llamaremos cero y designaremos por 0.

2) Existe una aplicacin llamada aplicacin siguiente que aplica
todo elemento n de N en otro elemento n* de N, llamado sucesor o
siguiente de n.
3) El cero no es sucesor de ningn otro elemento de N.
4) Dos elementos de N distintos no tienen igual sucesor, o sea, la aplicacin

siguiente es inyectiva.
5) Todo subconjunto N de N, para el cual se verifique que contenga al
cero, y que el sucesor de cualquier elemento de N est en N, coincide
con N. (Axioma de la Induccin Completa).

EL METODO DE INDUCCIN

La ltima afirmacin del Teorema Peano, tambin llamada Axioma de la Induccin Completa
permite probar resultados con los nmeros naturales generalizando situaciones particulares.

Si, en efecto, logramos evidenciar que una propiedad que se verifica para un nmero natural n se
verifica tambin para su sucesor, s(n), cualquiera que sea n, entonces podemos afirmar que tal
propiedad se verifica desde e incluyendo n hasta el infinito. Si sabemos, adems, que se verifica
para el cero, el primero de los nmeros naturales, que no es sucesor de ningn otro, entonces hay
que concluir que la propiedad se verifica en todo N. Es decir, para probar que algo, una
propiedad, se cumple en todos los nmeros naturales, basta comprobar primero que se cumple
para el 0, y, a continuacin, suponer que se cumple para un natural n, y, desde aqu, deducir que
se ha de cumplir para el natural siguiente, n+1.

Una tcnica muy sencilla consiste en definir un conjunto N, subconjunto de N, formado por los
elementos que verifican la propiedad a demostrar. Si logramos demostrar que para cualquier
elemento a N se cumple que su sucesor, y que el cero, es decir, se cumple (en el argot del

sistema N-B-G-Q) que N es inductivo, entonces habr de concluirse que se verifica la propiedad
en todo N, esto es, que N = N

El mtodo, en definitiva, consta de dos partes o teoremas parciales:

Teorema 1, o base de la demostracin: es la demostracin deductiva de que la proposicin se

verifica para algn nmero natural dado a:
Proposicin->f(a) cierta

Teorema 2, o paso de induccin, que es la demostracin, de carcter tambin

deductivo, de que si la proposicin se supone cierta para un nmero natural n, tambin ha de ser
cierta para el nmero sucesor de n, es decir, para el nmero n+1.
Proposicin ->f(n) cierta f(n+1) cierta
De lo cual se infiere que la proposicin es cierta para el nmero natural a y para todos los
nmeros naturales siguientes al nmero a, es decir es cierta para el conjunto de los nmeros
naturales [a, ∞). Evidentemente, si a es el primero de los nmeros naturales, la
proposicin ser cierta para todo el conjunto N.
Ambos pasos parciales son, en ltimo trmino, procesos deductivos, por lo que cabra decir que,
realmente, el mtodo de induccin matemtica es, en realidad, un proceso de deduccin.

En realidad, el nombre que le damos de induccin matemtica se debe simplemente a que lo

asociamos en nuestra consciencia con los razonamientos inductivos basados en las experiencias

10

de verosimilitud de las ciencias naturales y sociales, a pesar de que el paso inductivo de la

demostracin es una proposicin general que se demuestra como un riguroso proceso deductivo,
sin necesidad de ninguna hiptesis particular. Es por esto por lo que tambin se le denomina
induccin perfecta o induccin completa.

Sea P(n) una proposicin que depende de la variable n, con n perteneciente a los Naturales. Si:
- 1 satisface a P y,
- k pertenece a los Naturales, k satisface P! (k+1) satisface P,
entonces todos los nmeros naturales satisfacen P.

Usaremos el Axioma de Induccin Matemtica para demostrar la validez, en los Nmeros

Naturales, de ciertas proposiciones P que depende de una variable n, con n perteneciente a los
Naturales.
Procederemos de la siguiente manera:
- Verificaremos la proposicin para el numero 1.
- Supondremos que la proposicin es verdadera para un numero natural cualquiera k. (Hiptesis
de induccin).
- Demostraremos la proposicin para el numero natural (k+1).
As, gracias al axioma de induccin Matemtica, podemos concluir que la proposicin la
satisfacen todos los nmeros naturales.
EJEMPLO
Demostraremos que:
1+2+3+............+n = n(n+1), " n perteneciente a los naturales (*)

11

2
1= 1(1+1). Por lo tanto 1 satisface la proposicin (*)
2
Supongamos valida la proposicin (*) para k perteneciente a los Naturales, es decir supongamos
que:
1+2+3+.........+k = k(k+1). (Hiptesis de induccin).
2
Demostremos que k - 1 tambin satisface la proposicin (*), es decir, demostremos que:
1+2+3+.........+k+(k+1) = (k+1)(k+2).
2
Demostracin:
(1+2+3+.......+k)+(k+1) = k(k+1) + (k+1)
2
= k(k+1)+2(k+1)
2
= (k+1)(k+2)
2
Luego la proposicin (*) es verdadera "n perteneciente a los naturales.
En resumen, primero demuestras reemplazando el n por un 1, luego demuestras reemplazando el
n por un k y finalmente lo demuestras reemplazando el n por (k+1)

Ejemplo
Demuestre usando Induccin Matemtica que:

12

n
" 13 = n2 (n+1)2
i=1 4
1 Usando n = 1
1
" i3 = 12 (1+1)2
i =1 4
1
" 1 = 1(4)
i =1 4
1
"1=4=1
i=1 4
2 Supongamos valido para n = k
k
" i3 = k2 (k+1)2
i=1 4
3 Por demostrar valido para n = k+1
k+1
" i3 = (k+1)2 (k+1)2 se reemplaza termino igual al de arriba
i=1 4
= (k+1)2 (k+2)2 esto se debe demostrar
4

13

k+1 k
" i3 = " i3 + (k+1)3
i =1 i =1
= k2 (k+1)2 + (k+1)3 = k2 (k+1)2 + (k+1)3 = (k+1)2 ( k2 + (k+1)
444
= (k+1)2( k2 +4(k+1) = (k+1)2 (k2 +4k+4)

= (k+1)2 (k+2)2
4
PRINCIPIO DE INDUCCION
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 ) .

14

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 .

Volver

Segundo Aporte Individual:

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y ejemplos

concretos de alguna de las Leyes de Inferencia Lgica (slo selecciona una e
informa en el foro cual escogi, para que no sea escogido por otro integrante), las
operaciones son:

Simplificacin y Ley de la conjuncin

Reglas de inferencia:

A medida que vallas estudiando las reglas de inferencias encontrars que stas son usadas
continuamente en el lenguaje natural. Las usamos para obtener conclusiones que consideramos
normalmente vlidas. Lo que haremos ahora, es detenernos a analizar porqu consideramos a
estas inferencias vlidas, aprenderemos que al construir la tabla de verdad de la inferencia lgica
se puede determinar la validez de la misma, a la vez que aprendes a identificar las diferentes
inferencias lgicas en los razonamientos que hacemos continuamente.

15

Poder identificar una inferencia lgica y poder clasificarla como vlida o no mediante la
construccin de la tabla de verdad te dar las bases para elaborar argumentos slidos, presentes
en todas las actividades acadmicas ya sea en la elaboracin de ensayos o debates, como en las
actividades cotidianas.g
REGLA DE SIMPLIFICACION (S)
Regla que se aplica a proposiciones unidas con "&. como ambas premisas son ciertas por tanto
la conclusin tambin lo ser es por ello que esta regla nos permite pasar de una conjuncin a
cada una de las proposiciones .
P&Q
-------.: P

P&Q
-------.: Q

(P M) & Q
__________________
.: (P M)

(P M) & Q
-____________________
.: Q

EJ: Una sociedad es una coleccion de individuos que buscan una forma de vida y la cultura es su
forma de vida.
S: Una sociedad es una coleccion de individuos que buscan una forma de vida
C: la cultura es su forma de vida.
S&C
_____________ __
S

S&C
________________
C

En la primera concluimos que Una sociedad es una coleccin de individuos que buscan una
forma de vida, y en la segunda que en una sociedad la cultura es su forma de vida.

ADJUNCIN Y SIMPLIFICACIN

16

Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador
(conjuncin).

p Juan es cocinero
q Pedro es polica
_________________________________
p q Juan es cocinero y Pedro es polica
Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un enunciado formado
por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos
enunciados afirmados por separado.

p q Tengo una manzana y tengo una pera

_______________________________________
p Tengo una manzana
q Tengo una pera

LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una
conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no
cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin
importar en qu orden se presente esta eleccin. As pues,

p q q p p y q equivale a q y p
p V q q V p p q equivale a q p

17

Tercer Aporte Individual:

Seleccionar uno de los siguientes enunciados y a travs de las dos formas bsicas
de uso de las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la
validez o no validez del argumento dado (slo selecciona uno e informa en el foro
cual escogi, para que no sea escogido por otro integrante), los enunciados son:

En la Universidad Nacional Abierta y a Distancia UNAD, se posee una

metodologa educativa que realmente forma profesionales competentes, a
travs del Aprendizaje Autnomo, para lo cual se debe ser muy
ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERAS - ECBTI
200611- Pensamiento Lgico y Matemtico
Act No. 3. Trabajo Colaborativo Tres
disciplinado con los hbitos de estudio adquiridos para cumplir con las
actividades acadmicas. Milena se ha esforzado por mantener un slido
hbito de estudio, pero hay momentos en que sus deberes son tantos,
que no logra cumplir a cabalidad con las actividades del periodo
acadmico y se le presenta la siguiente situacin: Si el Director de Curso
de Pensamiento Lgico y Matemtico activa la etiqueta del Examen
Nacional, entonces desarrollar las demostraciones con las Leyes de
Inferencia. Si el Director de Curso no activa la etiqueta del Examen
Nacional, har el trabajo final de Qumica General. Y si aprovecho y hago

18

el trabajo final de Qumica General, me pondr al da con las notas

pendientes. Por lo tanto, si no desarrollo las demostraciones con las
Leyes de Inferencia me pondr al da con las notas pendientes de
Qumica General.
Solucin:
La estructura del enunciado corresponde a un razonamiento deductivo.

P: el Director de Curso de Pensamiento Lgico y Matemtico activa la etiqueta del Examen

Nacional
Q: desarrollar las demostraciones con las Leyes de Inferencia
R: hare el trabajo final de Qumica General
S: me pondr al da con las notas pendientes de Qumica General

PREMISAS:
Premisa 1: P Q
Premisa 2: PQ
Premisa 3: R S
Premisa 4: Q S
Premisa 5: ( Q S) (R S) = &
Conclusin: S

19

Demostracin por medio de la tabla de verdad:

2 = 2*2*2*2= 16
P
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

Q
v
v
V
V
F
F
f
f
v
v
V
V
F
F
f
f

R
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

S
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

P
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

Q
F
F
F
F
V
V
V
F
F
F
F
F
V
V
V
V

P Q
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V

P Q
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F

&
V
F
V
V
V
F
V
V
V
F
V
V
V
F
F
F

R S
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

QS
V
V
V
V
V
F
V
V
V
V
V
V
V
V
F
F

CONCLUSION: si Milena no desarrollo las demostraciones con las

Leyes de Inferencia se pondr al da con las notas pendientes de
Qumica General.
REFERENCIAS BIBLIOGRFICAS
1. http://www.monografias.com/trabajos-pdf5/razonamientos-deductivos-einductivos/razonamientos-deductivos-e-inductivos.shtml#ixzz4C4PcVDOI
2. Gelbaum, B.R. and Olmsted, J.M.H., Theorems and Counterexamples
in Mathematics, Springer-Verlag, 1990
3. Gdel, Kurt, Obras completas. Alianza Editorial. 1981.
4. Golovina, L.I. and Yaglom, I.M., Induction in Geometry, Mir
Publishers, Mexico, 1989.
5. Kleene, Stephen. Introduccin a la metamatemtica. Editorial
TECNOS. 1994.
6. Sominski, I. S., Mtodo de Induccin Matemtica, Editorial Mir,
Moscu, 1985

20

7. http://esaez.mat.utfsm.cl/iii.pdf
8. http://www.eneayudas.cl/induccionmatematica/induccionmatematica.htm