PASO 3 USO DE LAS REGLAS DE INFERENCIA

ESTUDIANTE:
TANIA MELISSA SANCHEZ PARDO

TUTORA:
DELFINA REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD VELEZ SANTANDER

PROGRAMA: PENSAMIENTO LGICO Y MATEMTICO

GRUPO 200611_284

LANDAZURI SANTANDER

06 DE MAYO DE 2017
 OBJETIVOS

Reconocer al tutor y director de curso, as mismo buscar comunicacin e integracin con

los grupos de trabajo colaborativo en diferentes actividades.

Orientar al estudiante sobre la actividad de reconocimiento del curso.
Identificar la respectiva conceptualizacin y razonamientos de la deduccin matemtica
Reconocer y aprender sobre Silogismo Hipottico y Silogismo Disyuntivo de ejemplos y

conceptos bsicos de los mismos.

Repasar las tablas de verdad y leyes de inferencia sus usos respectivos para dar solucin a

las respectivas problemticas planteadas en los ejercicios verificando su comprobacin a

talvez del simulador TRUTH.

Trabajar e intercambiar soluciones junto con mis compaeros a travs del trabajo

colaborativo la fase grupal dando solucin al respectivo problema planteado por el tutor

INTRODUCCIN
 Este trabajo se hace con el fin de recopilar conocimientos requeridos para un buen

desempeo de la actividad por medio de un aprendizaje autnomo dando solucin y adquiriendo

conocimientos sobre la induccin matemtica y como aplicarla as mismo los usos de Silogismo

Hipottico y Silogismo Disyuntivo conociendo ms sobre sus respectivos razonamientos y

conceptos a travs de ejemplos tambin haciendo un repaso sobre los usos de las tablas de

verdad y leyes de inferencia generales fortaleciendo el conocimiento ya adquirido manejando sus

respectivos formas de aplicacin dando solucin a los problemas planteados.

PRIMERA ETAPA
PRINCIPIO DE INDUCCION MATEMATICA

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) = 2 k 2 (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) = 2 k 2 (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

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 = a 2 b 2 = ( a + b )( a b ) ( Verdadero ) .

b) Sea n = k entonces:

a2 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 ) .

b 2 k (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

SILOGISMO HIPOTTICO

En lgica clsica, el silogismo hipottico es una forma de argumento vlido que consiste

en un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lgica

proposicional, el silogismo hipottico es una regla de inferencia vlida (llamado

tambin argumento cadena, regla de cadena, o el principio de transitividad de la implicacin, y a

veces abreviado SH).

El silogismo hipottico se puede escribir formalmente como:

Donde la regla es que cada vez que las instancias de aparecen en las

lneas de demostracin, se puede colocar en una lnea posterior.

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.

El silogismo hipottico est estrechamente relacionado al silogismo disyuntivo, ya que tambin

es un tipo de silogismo, y tambin es el nombre de una regla de inferencia.

Es interesante resaltar que el silogismo hipottico es una de las reglas de lgica clsica, que no

siempre es aceptado en ciertos sistemas de lgica no clsica.

Notacin formal

La regla de silogismo hipottico puede escribirse en la notacin subsiguiente:

Donde es un smbolo metalgico que significa que es una consecuencia sintctica de

en algn sistema lgico; y expresado como una tautologa verdad-

funcional o teorema de la lgica proposicional:

Donde P, Q y R son proposiciones expresadas en algn sistema formal.

SILOGISMO DISYUNTIVO

En 1920, el lgico y ukasiewicz indico en su texto sobre Lgica Trivalente O logice

trjwartosciowej algo soprendente:

Las leyes de la lgica trivalente difieren en parte de las de la lgica bivalente. Algunas de las

leyes de la lgica aristotlica son slo posibles en lgica trivalente: por ejemplo, el principio

del silogismo en la formulacin ordinaria: (a < b) (b < c) < (a < c) {sin embargo, el principio del

silogismo en la formulacin (a < b) < [(b < c) < (a < c)] es verdadero}, el principio de

contradiccin aa = 0, el principio de tercio excluso a + a = l, etc. Algunas de las leyes de la

lgica bivalente son falsas en lgica trivalente, entre ellas la ley (a = a) = 0, puesto que para a =

el enunciado a = a es verdadero. Esto explica el hecho de que en lgica trivalente no haya

antinomias.

Desde Aristoteles el Silogismo Disyuntivo ha fundado la identidad idealmente necesaria

entre Sujeto y Objeto. En Internet permite pensar una suerte Identidad Search entre Ser

Humano y Maquina, que sostenemos acontece bajo el trmino epistemolgico de Entre, ideado

por el Filsofo Heidegger en sus reflexiones en torno al Lenguaje.

Definicin silogismo o inferencia de la alternativa

En lgica, el silogismo disyuntivo, histricamente conocido como modus tollendo ponens (en

latn, modo que negando afirma) o MTP, es una forma vlida de argumento:

AoB

No A

Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo podra ser:

Es de da o es de noche.

No es de da.

Por lo tanto, es de noche

La tautologa conocida como silogismo disyuntivo tiene la siguiente forma lgica:

[(pvq) (p)]q

y tambin

[(pvq) (q)]p
que, traducido al lenguaje natural sera algo as como si es cierto que la disyuncin p o q es

verdadera, y adems sabemos que no es cierto p, entonces sabemos que q es cierto con

seguridad.

La definicin de la disyuncin exige que para que la disyuncin pq sea cierta o bien p o bien q

sean ciertos. En consecuencia, si sabemos que p no es cierto, entonces con seguridad q (el otro

trmino de la disyuncin) ha de ser cierto.

Como muy bien seala el filsofo y lgico espaol, Alfredo Deao, en su obra Introduccin a la

lgica formal, la denominacin tradicional de "Silogismo disyuntivo" es incorrecta, ya que, en

rigor, no se trata de un silogismo. Deao propone el nombre de "Inferencia de la alternativa".

Nosotros optaremos por dejar avisado al lector, continuando, en lo sucesivo, con la

denominacin tradicional de "silogismo disyuntivo" por ser de uso ms extendido.

Ejemplo:

Si sabemos que es cierto que o bien Raul marc gol o bien Ronaldo fue quien marc, y adems

sabemos que no marc Raul, entonces es seguro que es cierto que marc Ronaldo.

Recurriendo a su forma argumental:

O Raul marc gol o fue Ronaldo quien marc.

Raul no marc gol

Por consiguiente,

Ronaldo marc.

Con la otra tautologa [(pvq) (q)]p ocurre lo mismo mutatis mutandi.

 TERCERA ETAPA

SITUACIONES PROBLMICAS DE LA INFERENCIA LGICA FASE INDIVIDUAL

Desde muy joven empec a trabajar para poder buscar tener una buena calidad de vida,

pero siempre me fue complicado poder ingresar a hacer mis estudios superiores; hoy en da

afortunadamente la UNAD ofrece una excelente oportunidad de formacin acadmica para

quienes tenemos una vida laboral muy densa, pues la virtualidad, aunque demanda de disciplina

y adecuados hbitos de estudio, nos permite contar con las 24 horas del da, los siete das de la

semana para ingresar a realizar las actividades segn las fechas lmites establecidas

Esto es algo que me ha alegrado mucho y le hice el siguiente comentario a mis amigos, para que

se motiven e ingresen a estudiar en la UNAD: He ingresado a estudiar administracin en Salud

y lograr materializar mi proyecto de vida. Si he ingresado a estudiar en la UNAD

Administracin en Salud, entonces conseguir un mejor estatus laboral. Por lo tanto, conseguir

un mejor estatus laboral y lograr materializar mi proyecto de vida. Por medio de los diferentes

mtodos de demostracin con las tablas de verdad y el uso de las leyes de inferencia, determinar

si mi razonamiento es vlido.
SOLUCION:

r
[(pq) ( p r ) q)

TABLA DE VERDAD

P q r (pq) (p ( r q )

r)
V V v v v v v v v v
V V f v f f v f f v
V F v f v v f v v f
V F f f v f f f f f
F V v f v v v v v v
F V f f v v f f f v
F F v f v v f v v f
F F f f v v f f f f

Es una contradiccin

COMPROBACION SIMULDOR TRUTH

 CONCLUSIONES:

Observamos diferentes conceptos y ejemplos adquiriendo ms conocimientos sobre la

induccin matemtica como aplicacin y formas de hacerlo

Fortalec mis conocimientos a travs de la lectura e investigacin sobre los temas propuestos

Silogismo Hipottico y Silogismo Disyuntivo y repase y practique de nuevo el uso de las tablas

de verdad para la solucin de los diferentes problemas diferentes recopilando nuevos

conocimientos y aprend ms sobre el uso correcto de las normas APA segn sea lo requerido,

tambin visualice las diferentes formas de las leyes de inferencia y sus terminologas generales
 BIBLIOGRAFIA

http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html
https://www.google.com.co/url?

sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&uact=8&ved=0ahUKEwjeiv2jg8r

TAhWGYiYKHWAyBjIQFggoMAE&url=https%3A%2F%2Fes.wikipedia.org%2Fwiki

%2FInducci%25C3%25B3n_matem%25C3%25A1tica&usg=AFQjCNHKc-

xuxFvOwg2FJLnvh9RuZyrn_A

https://es.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico
https://www.google.com.co/url?

sa=t&rct=j&q=&esrc=s&source=web&cd=3&cad=rja&uact=8&ved=0ahUKEwjeiv2jg8r

TAhWGYiYKHWAyBjIQtwIIMjAC&url=https%3A%2F%2Fwww.youtube.com

%2Fwatch%3Fv%3DgQuj5w6d2Cs&usg=AFQjCNE1MF87J5a8zxR5ucZq9Qf-OKf9Lw
 http://www.ithinksearch.com/searchology/index.php/Silogismo_Disyuntivo_Epistemol

%C3%B3gico
https://www.google.com.co/url?

sa=t&rct=j&q=&esrc=s&source=web&cd=6&cad=rja&uact=8&sqi=2&ved=0ahUKEwjI

ypPChMrTAhUBeSYKHUifBpgQtwIIQDAF&url=https%3A%2F

%2Fwww.youtube.com%2Fwatch%3Fv

%3DM7y5JGFN5wM&usg=AFQjCNHYP9v8NGGpSorD7d71oW_Xffdfcg
http://www.monografias.com/trabajos99/fundamentos-logicos/fundamentos-logicos.shtml