PENSAMIENTO LOGICO Y MATEMATICO 200611B_363

Unidad 3: Paso 3 - Uso de las reglas de inferencia

JENY ALEXANDRA RICARDO

CODIGO: 39582893

GRUPO: 200611_796

LUIS GABRIEL PRIETO

TUTOR

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

BOGOTA, COLOMBIA

NOVIEMBRE 24 DE 2017

1
INTRODUCCIÓN

Consiste en desarrollar la temática respecto a proposiciones simples y compuestas, tablas de

verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos,
participando con aportes propios, proporcionando un aprendizaje basado en problemas. Utilizando
diferentes ayudas en libros, artículos físicos, de tal manera de ampliar y fortalecer nuestro
conocimiento y profundización y así llegar a la solución de problemas, autogestionando los
conceptos y procedimientos operativos.

2
OBJETIVOS GENERAL Y ESPECÍFICOS

General

Con esta actividad logramos como estudiantes identificar y utilizar en forma clara las reglas de
inferencia lógica por inducción y deducción en formulaciones y demostraciones de razonamientos
válidos en situaciones específicas.

Específicos

 Identificar y conceptualizar los diferentes tipos de leyes de inferencia lógica y sus

respectivas representaciones en las tablas de verdad.

 Conceptualizar los procesos de demostración lógica y clasificarlos en directas e indirectas.

 Interpretar un enunciado tipo argumento de una situación probémica del mundo real y
demostrar su validez a través de las tablas de verdad y de las leyes de inferencia.

3
ETAPAS ESCOGIDAS

ETAPAS EJERCICIOS
1 Demostración por el Principio de Inducción Matemática.
2 Ley de Adición y Tollendo Ponens.
3 5. Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al
matricular el curso de Física General deben asistir al componente práctico. Marcela
hace el siguiente análisis de la situación que se le ha presentado al conocer las fechas
en que debe asistir. “Si las prácticas de laboratorio son el próximo 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 prácticas de laboratorio no son
el próximo domingo”. Determinar con el uso de las dos formas de la tabla de verdad
la validez del razonamiento y hacerlo también con el uso de las leyes o reglas de
inferencia.
4 Aplicaciones en el mundo real del Álgebra de Boole.

4
ETAPA 1

DEMOSTRACIÓN POR EL PRINCIPIO DE INDUCCIÓN MATEMÁTICA.

Demostraciones por inducción completa.

Demostraciones por inducción completa. Razonamiento que permite demostrar una infinidad de
proposiciones, o una proposición que depende de un parámetro en que toma una infinidad de
valores enteros. Los lenguajes naturales no se establecieron a través de ninguna teoría, entre ellos
están el castellano, el francés y el inglés. Las teorías y gramáticas de lenguajes naturales, fueron
establecidas a posteriori, es decir después de que el lenguaje ya había madurado.

Definición.

Este principio sirve para demostrar propiedades que se cumplen para un conjunto numerable de
objetos (Un conjunto A es numerable si existe una biyección de A en el conjunto de los números
naturales). Generalmente se usa la notación A(n), B(n), C(n), P (n),… para denotar estas
propiedades.

Principio

El principio de inducción completa, en que se basa el método del mismo nombre, consiste en:

1. Probar que la propiedad se satisface para un primer número natural (P (a) es verdadera para a
perteneciente a N).

2. Probar que siempre que un número natural cualquiera satisfaga la propiedad, su sucesor también
la satisface. (De P (k) se deduce P (k+1)).

Ejemplo

Demuestra por Inducción completa que para todos los números naturales n se cumple: 0 + 2 + 4
+…+ 2n = n(n + 1). Sea S(n) = 0 + 2 + 4 +…+ 2n. Se debe probar que S(n) = n(n + 1).

Inicio de Inducción: Para n = 0: S (0) = 0(0 + 1) = 0 La propiedad es verdadera para n = 0.

5
Hipótesis de inducción: Para n = k : 0 + 2 + 4 +…+ 2k = k(k + 1).

Tesis de inducción: Para n = k +1: 0 + 2 + 4 +…+ 2(k+1) = (k + 1)(k + 2).

Demostración de la tesis de inducción: Se debe probar que S (k)= k(k + 1) => S (k+1)= (k + 1)(k
+ 2) Partiendo de la hipótesis: 0 + 2 + 4 +…+ 2k = k(k + 1) Sumemos el término 2(k +1) a ambos
miembros de la igualdad: 0 + 2 + 4 +…+ 2k + 2(k + 1) = k(k + 1) + 2(k + 1) Debemos analizar si
en el miembro derecho la expresión: k(k + 1) + 2(k + 1)es la misma que (k + 1)(k + 2) 0 + 2 + 4
+…+ 2k + 2(k + 1) = k(k + 1) + 2(k + 1) 0 + 2 + 4 +… +2k+ 2(k + 1) = (k + 1)(k + 2) extrayendo
factor común (k+1) Luego, la propiedad se cumple para todo n que pertenece a N.

Demostración de proposiciones de la Teoría de números

Demuestra por inducción completa que para todo número natural n 3n–1 es divisible por2.

Inicio de inducción: Para n = 0; 30 – 1 = 1 – 1 = 0 no se cumple la propiedad. Para n = 1, 31 – 1 =

2 es divisible por 2. Se cumple la propiedad. Elaborar de conjunto con los alumnos que, si un
número es divisible por 2, entonces es de la forma 2x, con x que pertenece a N.)

Hipótesis de inducción: 𝑃𝑎𝑟𝑎 𝑛 = 𝑘: 3𝑘 – 1 = 2𝑥.

Tesis de inducción: 𝑃𝑎𝑟𝑎 𝑛 = 𝑘 + 1: 3𝑘 + 1 – 1 = 2.

Demostración de la tesis de inducción: 3k – 1 = 2x Multiplicando por 3 ambos miembros, tenemos:

3 · 3𝑘 − 3 = 6𝑥

3𝑘 + 1 = 3 + 6𝑥

3𝑘 + 1 = 2 + 1 + 6𝑥

3𝑘 + 1 – 1 = 2 + 6𝑥

3𝑘 + 1 – 1 = 2 (1 + 3𝑥)

3𝑘 + 1 – 1 = 2 𝑦 𝑙𝑢𝑒𝑔𝑜 3𝑛 – 1

Es divisible por 2 para todo n que pertenece a los números naturales distintos de cero.

6
Como resumen tenemos que:

Principio de la inducción matemática.

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

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:

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

Ejemplo 2:

Demuestre por inducción matemática que:

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

a) Sea n = 1 , entonces:

4n – 2 = 2

2 n 2 = 2 (Verdadero) .

b) Sea n = k , entonces:

2 + 6 + 10 + . . . . . + ( 4 k – 2 ) = 2 k 2 ( Hipótesis de inducción )

c) Sea n = k + 1 , entonces:

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

d) Demostración:

2 + 6 + 10 + . . . . . + ( 4 k – 2 ) = 2k2 ( Por hipótesis de inducción ) .

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

8
2 + 6 + 10 + . . . . . + ( 4 k – 2 ) + ( 4 ( k + 1 ) – 2 ) = 2 k 2 + 4 k + 2.

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

Ejemplo 3:

Demuestre por inducción matemática que:

Si n es un entero positivo, entonces a 2 n – b 2 n es divisible por a + b .

a) Sea n = 1 , entonces:

a2n – b2n = a2 – b2 = ( a + b )( a – b ) ( Verdadero ) .

b) Sea n = k , entonces:

a 2 k – b 2 k es divisible por a + b ( Hipótesis de inducción ) .

c) Sea n = k + 1 , entonces:

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

d) Demostración:

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

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 2 k + 2 – a 2 b 2 k + b 2 k a 2 – b 2 k + 2 es divisible por a + b .

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

9
ETAPA 2

LEY DE ADICIÓN Y TOLLENDO PONESNS

Ley de adicion (LA): Es la ley que indica una proposición atómica o molecular como premisa
verdadera se puede adicionar otra por medio de la disjucion su abreviatura es LA.

Ejemplo:

 (1) p (1) ~(P&Q)

_______________

(2) PVQ LA1 (2) ~(p&q) V R LA 1

 Demostrar TVS

(1) QVT

(2) Q→R

(3) ~R

(4) ~QMTT2-4

(5) T MTP 1-4

(6) TVS LA5

 De P inferimos P V Q

10
Si sabemos que P es verdadera, P V Q, P V R, P V S lo será también como, por ejemplo

Está lloviendo

Por lo tanto, está lloviendo o la luna es de queso

TOLLENDO PONENS:

significa (negando afirmo) representa una elección entre dos enunciados. Pero la verdad de ambos
enunciados es incompatible, si bien ambos no pueden ser falsos. Debe elegirse entre uno de ellos.
si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente
afirmativo ya que uno de los términos de la elección ha sido descartado.

Ejemplo:

 P V q he ido al cine o me he ido de compras

¬q no he ido de compras

___

P por tanto he ido al cine

 Yo elegiré sopa o elegir ensalada

No voy a elegir sopa

Por lo tanto, voy a elegir ensalada

 Es de color rojo o azul

11
No es azul

Por lo tanto, es de color rojo

12
ETAPA 3

5. Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el curso de

Física General deben asistir al componente práctico. Marcela hace el siguiente análisis de la
situación que se le ha presentado al conocer las fechas en que debe asistir. “Si las prácticas de
laboratorio son el próximo 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 prácticas de laboratorio no son el
próximo domingo”. Determinar con el uso de las dos formas de la tabla de verdad la validez del
razonamiento y hacerlo también con el uso de las leyes o reglas de inferencia.

Solución:
Proposiciones simples:

p: La prácticas de laboratorio son el próximo domingo

q: Marcela asiste a la universidad

r: Realiza los experimentos

s: Entrega el informe de laboratorio

t: Buen puntaje sumativo para la nota

Premisas:

P1: p → q

P2: r→ s

P3: (q ∧ s) → t

Conclusion: ¬r ∨ ¬p

[(p → q) ∧ (r→ s) ∧ (q ∧ s) → t)] → (¬r ∨ ¬p)

Tabla de verdad:

13
p q r s t ¬r ¬p (p→q) (r→s) (q∧s) (q∧s)→t) (¬r∨¬p)

V V V V V F F V V V
V V V V F F F V V V
V V V F V F F V F F
V V V F F F F V F F
V V F V V V F V V V
V V F V F V F V V V
V V F F V V F V V F
V V F F F V F V V F
V F V V V F F F V F
V F V V F F F F V F
V F V F V F F F F V
V F V F F F F F F V
V F F V V V F F V F
V F F V F V F F V F
V F F F V V F F V V
V F F F F V F F V V
F V V V V F V V V V
F V V V F F V V V V
F V V F V F V V F F
F V V F F F V V F F
F V F V V V V V V V
F V F V F V V V V V
F V F F V V V V V F
F V F F F V V V V F
F F V V V F V V V F
F F V V F F V V V F
F F V F V F V V F V
F F V F F F V V F V
F F F V V V V V V F
F F F V F V V V V F
F F F F V V V V V V
F F F F F V V V V V

14
ETAPA 4

Aplicaciones En El Mundo Real Del Algebra De Boole

https://prezi.com/p/8f6urlj-q4gq/

15
CONCLUSIÓN

Aprendí nuevas cosas que talvez nunca hubieran pasado por mi mente recordé cosas en un
momento ya las avía prendido pero que de una u otra forma las olvide el desarrollo de estos 4
ejercicios el donde me doy cuenta que si puedo ser alguien en la vida y que todo depende de la
lógica, que la matemática es lo primordial en este mundo siempre me he preguntado por que existió
la matemática cuál es su misión para con nosotros y aquí me doy cuenta de que sin ella no seriamos
nada ni nadie porque x muy mínimo que sea tu problema la lógica o matemática estarán hay para
ayudarte.

16