TRABAJO COLABORATIVO # 3

APORTE INDIVIDUAL

PENSAMIENTO LOGICO MATEMATICO

ALBERTO JULIO AMARIS

Grupo # 351

DORIXY DE ARMAS DUARTE

Tutora

Universidad Nacional Abierta y a Distancia – UNAD

Mayo de 2016

Cartagena
PRIMER APORTE

PRINCIPIO DE INDUCCIÓN MATEMÁTICA

La inducción matemática es un método de demostración que se utiliza cuando se

trata de establecer la veracidad de una lista infinita de proposiciones. El método es
bastante natural para usarse en una variedad de situaciones en la ciencia de la
computación. Algunas aplicaciones tienen un sabor muy matemático, tal como
verificar que todo entero positivo satisface cierta fórmula. Otra utilización frecuente
es la de demostrar que un programa de computación o que un algoritmo con ciclos
funciona como se espera.

Sea P una propiedad definida en los números naturales ( enteros positivos ) . Si

1 satisface esa propiedad y además si a partir de cualquier natural n que
satisface esa propiedad se llega a que n + 1 , también la satisface, entonces
cada número natural la satisface.

Para probar que una propiedad P se cumple en los números naturales, usando
el principio de inducción matemática, se siguen los siguientes pasos:

1°) Se comprueba para n = 1 (Comprobación)

2°) Se asume que se cumple para n = k (Hipótesis de inducción) .

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 (Demostración) .

Observación: En algunos casos la propiedad se cumple a partir de un cierto

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

Ejemplo:

Demuestre por inducción matemática 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 ( Hipótesis de inducción ) .

c) Sea n = k + 1 , entonces:

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

d ) Demostración:

(k + 1)(k + 2) = k(k + 1) + 2(k + 1)

k ( k + 1 ) es divisible por 2 ( Por hipótesis de inducción ) .

2 ( k + 1 ) es divisible por 2 ( Entero par ) .

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

SEGUNDO APORTE

SILOGISMO HIPOTÉTICO

En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien

regla de inferencia que en su expresión plantea un caso hipotético, por lo cual
puede tener términos válidos o no. En la lógica proposicional un silogismo
hipotético puede expresar una regla de inferencia, mientras que en la historia de la
lógica los silogismos hipotéticos han sido una antelación de la teoría de las
consecuencias.

En lógica proposicional

El silogismo hipotético es un argumento válido si sigue la siguiente forma

argumental:

P→Q

Q → R.

Entonces, P → R.

Ejemplo:

Si no me despierto, entonces no voy a ir a trabajar.

Si no voy a trabajar, entonces no me pagan mi sueldo.

Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

SILOGISMO DISYUNTIVO

El silogismo disyuntivo es aquel cuya premisa mayor establece una disyunción

exclusiva, de manera que los dos miembros no pueden ser simultáneamente
verdaderos, ni simultáneamente falsos. Ejemplo: "Todo círculo es una curva o una
recta; es una curva; luego, no es una recta".

Existen dos modos formalmente válidos de concluir: la premisa menor afirma uno
de los dos predicados, y la conclusión niega el otro (modo ponendo-tollens); o la
menor niega uno de los predicados, y la conclusión afirma el otro (modo tollendo-
ponens: al negar se afirma).

Ejemplos:

O es de día o es de noche
es de día;
luego no es de noche.

O es de día o es de noche;
es de noche;
luego no es de día.

O es de día o es de noche;
no es de día;
luego es de noche.

O es de día o es de noche;
no es de noche;
luego es de día.
TERCER APORTE

Si Bibiana aprueba el periodo académico entonces Johanna y Santiago sus

hermanos se enojan con ella. Y si no aprueba el periodo académico, pierde los
beneficios de la beca obtenida en la Universidad. Pero, Bibiana aprueba el periodo
académico o no lo aprueba. Por lo tanto, Johanna y Santiago sus hermanos se
enojan con ella o pierde los beneficios de la beca obtenida en la Universidad.

Solución: La estructura del enunciado corresponde a un razonamiento deductivo.

Identificación de las proposiciones simples:

p: Bibiana aprueba el periodo académico.

q: Johanna y Santiago sus hermanos se enojan con ella.
r: Pierde los beneficios de la beca obtenida en la Universidad.

Premisa 1: Si Bibiana aprueba el periodo académico entonces Johanna y

Santiago sus hermanos se enojan con ella p→q

Premisa 2: Si no aprueba el periodo académico, pierde los beneficios de la beca

obtenida en la Universidad ~p→r

Premisa 3: Bibiana aprueba el periodo académico o no lo aprueba (p v ~p)

Conclusión: Johanna y Santiago sus hermanos se enojan con ella o pierde los
beneficios de la beca obtenida en la Universidad (q v r)

[(p→q) ^(~p→r) ^(p v ~p)] →(q v r)

Demostración por tabla de la verdad

La tabla anterior permite evidenciar que es una tautología, por lo cual el

razonamiento es válido.
 BIBLIOGRAFIA

Inferencia Lógica. Recuperado de

http://www.fisica.ugto.mx/~msabido/logica/2_a.pdf

Reglas de la Lógica Proposicional. Recuperado de:

http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/legris/apu
ntes/ap-rl.pdf