UNIDAD 3: PASO 3 - USO DE LAS REGLAS DE INFERENCIA

PENSAMIENTO LGICO Y MATEMTICO

PRESENTADO POR:
FABIN DE LA PUENTE ROYERO COD: 1052988664

TUTOR:
JORGE MARIO VILLEGAS

GRUPO:
200611_18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
INGENIERA DE TELECOMUNICACIONES

CEAD BARRANQUILLA

NOVIEMBRE DE 2017
 OBJETIVOS

Identificar y utilizar de forma clara las reglas de inferencia lgica.

Socializar la conceptualizacin, con tres ejemplos de la demostracin por el
Principio de Induccin Matemtica.
Socializar la conceptualizacin, con tres ejemplos de Silogismo Hipottico y
Silogismo Disyuntivo
utilizar las operaciones necesarias de las tablas de verdad y la aplicabilidad de
las leyes de inferencia lgica para resolver el ejercicio 5 del Anexo 1.
 INTRODUCCIN

En el presente trabajo se dar a conocer el desarrollo del Paso 3: Unidad 3

Uso de las reglas de inferencia, mediante cuatros etapas abarcadas as; la primera
etapa consiste en la conceptualizacin de la demostracin por el Principio de Induccin
Matemtica, la segunda etapa consiste en la conceptualizacin de Silogismo Hipottico
y Silogismo Disyuntivo, la tercera etapa consiste en utilizar las operaciones necesarias
de las tablas de verdad y la aplicabilidad de las leyes de inferencia lgica para resolver
el ejercicio 5 del Anexo 1, la cuarta y ltima etapa consiste en una presentacin a
travs de Prezi acerca del Principio en la dualidad del lgebra de Boole el cual se
ilustra mediante una direccin de enlace.
ETAPA 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.

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

Ejemplo 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 ) = 2
k2 + (4(k + 1) 2)

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

Por lo tanto 2 + 6 + 10 + . . . . . + ( 4 k 2 ) + ( 4 ( k + 1 ) 2
) = 2(k + 1)2

Ejemplo 3

Demuestre por induccin matemtica que:

Si n es un entero positivo, entonces a 2 n b 2 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.

ETAPA 2:

SILOGISMO HIPOTTICO (S:H) y SILOGISMO DISYUNTIVO (S.D) O MODUS

TOLLENDO PONENS (MPP)

SILOGISMO HIPOTTICO: esta ley habla de la reaccin a un posible suceso. Y es un

argumento que se expresa simblicamente as:

p q Se lee: si p entonces q

q r Se lee: si q entonces r

\ p r Se lee: de donde

Si p entonces r

Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.

Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de volumen.

Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente:

p: El agua se hiela

q: Sus molculas forman cristales

r: El agua aumenta de volumen

SILOGISMO DISYUNTIVO: Si una disyuncin es verdadera y una de sus proposiciones

simples es falsa, entonces necesariamente la otra proposicin ser verdadera.

Su expresin simblica es:

Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o cambia slo a
saltos.

Premisa 2: La energa interna de un tomo no puede cambiar con continuidad

Conclusin: La energa interna de un tomo cambia slo a saltos.

Simblicamente:

p: La energa de un tomo puede cambiar con continuidad

q: La energa de un tomo slo cambia a saltos

Premisa 1: p v q

Premisa 2: ~ p
Conclusin: p

Ejemplo 1 (modo ponendo-tollens)

Premisa Mayor: O naci nio o naci nia
Premisa Menor: Naci nia
Conclusin: Entonces, no naci nio
Ejemplo 2 (modo tollendo-ponens)
Premisa Mayor: O es de da o es de noche
Premisa Menor: No es de noche
Conclusin: Entonces, es de Da
Ejemplo 3 (modo ponendo-tollens)
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

ETAPA 3:

5. Los estudiantes del programa de Ingeniera de Alimentos de la UNAD, al matricular

el curso de Fsica General deben asistir al componente prctico. Marcela hace el
siguiente anlisis de la situacin que se le ha presentado al conocer las fechas en que
debe asistir. Si las prcticas de laboratorio son el prximo domingo entonces asisto a
la universidad. Si realizo los experimentos entonces entrego el informe de laboratorio.
Asisto a la universidad y entrego el informe de laboratorio entonces obtengo un puntaje
sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto no
realizo los experimentos o las prcticas de laboratorio no son el prximo domingo.
Determinar con el uso de las dos formas de la tabla de verdad la validez del
razonamiento y hacerlo tambin con el uso de las leyes o reglas de inferencia.
p: las prcticas del laboratorio son el prximo domingo

q: asisti a la universidad

r: realizo los experimentos

s: entrego el informe del laboratorio

t: obtengo un puntaje sumativo para la nota

Premisa 1: p q

Premisa 2: r s

Premisa 3: (q s) t

Premisa 4: ~t

Conclusin: (~r ~p)

{[(p q) (r s)] [(q s) t] ~t} (~r ~p) 25 =32

Leyes de inferencia

5 MPP (3-4): {[(q s) t] ~t} (~q ~s)

6 Simp (5): ~q

7 Simp (5): ~s

8 MPP (1-6): [(p q) ~q] ~p

9 MPP (2-7): [(r s) ~s] r

10 Adici (8-9): (~r ~p)

ITEM p q r s t ~r ~p ~t
1 V V V V V F F F
2 V V V V F F F V
3 V V V F V F F F
4 V V V F F F F V
5 V V F V V V F F
6 V V F V F V F V
7 V V F F V V F F
8 V V F F F V F V
9 V F V V V F F F
10 V F V V F F F V
11 V F V F V F F F
12 V F V F F F F V
13 V F F V V V F F
14 V F F V F V F V
15 V F F F V V F F
16 V F F F F V F V
17 F V V V V F V F
18 F V V V F F V V
19 F V V F V F V F
20 F V V F F F V V
21 F V F V V V V F
22 F V F V F V V V
23 F V F F V V V F
24 F V F F F V V V
25 F F V V V F V F
26 F F V V F F V V
27 F F V F V F V F
28 F F V F F F V V
29 F F F V V V V F
30 F F F V F V V V
31 F F F F V V V F
32 F F F F F V V V
 p r [(p q) (q s) [(q s) {[(p q) (r s)] (~r {[(p q) (r s)] [(q
ITEM qs
q s (r s)] t t] ~t} [(q s) t] ~t} ~p) s) t] ~t} (~r ~p)

1 V V V V V F F F V
2 V V V V F F F F V
3 V F F F F F F F V
4 V F F F V V F F V
5 V V V V V F F V V
6 V V V V V V V V V
7 V V V F F F F V V
8 V V V F V V V V V
9 F V F F F F F F V
10 F V F F V V F F V
11 F F F F F F F F V
12 F F F F V V F F V
13 F V F F F F F V V
14 F V F F V V F V V
15 F V F F F F F V V
16 F V F F V V F V V
17 V V V V V F F V V
18 V V V V V V V V V
19 V F F F F F F V V
20 V F F F V V F V V
21 V V V V V F F V V
22 V V V V V V V V V
23 V V V F F F F V V
24 V V V F V V V V V
25 V V V F F F F V V
26 V V V F V V V V V
27 V F F F F F F V V
28 V F F F V V F V V
29 V V V F F F F V V
30 V V V F V V V V V
31 V V V F F F F V V
32 V V V F V V V V V

La expression es TAUTOLOGA
Comprobacin en el simulador TRUTH
ETAPA 4:
Principio en la dualidad del lgebra de Boole, en Prezi
https://prezi.com/view/2g9FvzO1A5urHfI53nOC/
 CONCLUSIONES

Con el desarrollo de este trabajo se dio a conocer el desarrollo del Paso 3:

Unidad 3 Uso de las reglas de inferencia, mediante cuatros etapas abarcadas; la
primera etapa trato sobre la demostracin por el Principio de Induccin Matemtica, la
segunda etapa trato sobre de Silogismo Hipottico y Silogismo Disyuntivo, la tercera
etapa consisti en utilizar las operaciones necesarias de las tablas de verdad y la
aplicabilidad de las leyes de inferencia lgica para resolver el ejercicio 5 del Anexo
1,as mismo se logr realizar la simulacin en TRUTH, la cuarta y ltima etapa consisti
en una presentacin a travs de Prezi acerca del Principio en la dualidad del lgebra
de Boole.
 BIBLIOGRAFA

Lillo, N. (2017). INDUCCIN MATEMTICA. Recuperado de:

http://www.eneayudas.cl/induccionmatematica/induccionmatematica.htm

Romero, A. (2013). LOGICA MATEMATICA. [Entrada de Blog]. Recuperado:

http://introduccionalalogicamatematica.blogspot.com.co/2013/11/silogismo-hipotetico-
sh-y-silogismo.html