UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Fase Grupal

Trabajo Colaborativo 3

Presenta:

VICTOR GUILLERMO ZAPATA

CODIGO 86.071.049
SEBASTIAN DARIO LOPEZ VARGAS
CODIGO 1.004.424.586
JHON JAIRO PORTELA
COD. 86.071.760

499

Villavicencio, Meta, Colombia Mayo 2016

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Fase Grupal

Trabajo Colaborativo 3

Trabajo Fase Grupal para cumplir la Actividad del Trabajo colaborativo 3

Curso Pensamiento Lgico Matemtico

Presenta:

VICTOR GUILLERMO ZAPATA

CODIGO 86.071.049
SEBASTIAN DARIO LOPEZ VARGAS
CODIGO 1.004.424.586
JHON JAIRO PORTELA
COD. 86.071.760

499

Tutor.

Ing. Adrin Reinaldo Valencia

Villavicencio, Meta, Colombia Mayo 2016

 INTRODUCCIN

El presente trabajo esta basado en buscar y aplicar las leyes de la inferencia para las formas

del razonamiento inductivo y deductivo, utilizando las tablas de la verdad y probndolas

mediante el simulador Truth Table a si determinando si es vlido o no el dato obtenido a las

preposiciones. Con el fin de obtener los conocimientos necesarios para la aplicacin del

razonamiento del pensamiento lgico matemtico y as aplicar los conocimientos

adquiridos en las actividades anteriores.

 PRIMER APORTES INDIVIDUAL

APORTE DE VICTOR ZAPATA

LA DEMOSTRACIN

La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el

enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los

procedimientos de demostracin permiten establecer la conexin lgica entre las

proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la

conclusin o tesis que as se demuestra.

Los principales tipos de demostracin son:

LA DEMOSTRACIN DIRECTA

La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o

premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t

como consecuencia inmediata.

Ejemplo 1.

Dadas las premisas: 1. p ~q

2. r q

Concluir: t. p ~r

Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:

3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como

p ~q y ~q ~r, entonces, p ~r. Por SH

LA DEMOSTRACIN INDIRECTA

Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando

que las consecuencias de su contraria son falsas.

Ejemplo 1.

Construir la demostracin indirecta de:

Si x2 es par, entonces x es par, (con x entero)

Suponga que existe al menos un entero x tal que x2 es par y x es impar.

Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces

x2 es impar, luego es imposible que x sea impar y que x2 sea par.

Esta es la contradiccin buscada.

La demostracin por recursin

Cuando la tesis se prueba por medio de induccin matemtica.

Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin

abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para

todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros

enteros, el axioma de la induccin matemtica es el siguiente:

Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n),

se puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos:

I. P(a) es verdadera cuando se sustituye n por a en P(n)

II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k)

es verdadera, a esta proposicin, se le llama Hiptesis de Induccin.

III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera

APORTE DE SEBASTIAN LOPEZ

DEMOSTRACION POR CONTRAPOSICION

Este mtodo tiene una ventaja y es que siempre se va a dirigir a una contradiccin concreta.
En la demostracin por contraposicin, al igual que la demostracin por reduccin al
absurdo, supones que tanto A como no B son verdaderas. En el mtodo por contraposicin,
sin embargo, no partes de A y no B, sino que empiezas a trabajar solamente con no B y tu
objetivo es llegar a que A es falsa, con lo que ya has llegado a una contradiccin.

EJEMPLOS:

< "Demustrese que todos los nmeros primos mayores que 2 son impares". Aqu, la
proposicin p es "n es un nmero primo mayor que 2" y la proposicin qes "n es un nmero
impar". Demostrar "si todo nmero primo es mayor que 2, entonces es impar ( ) es
lo mismo que demostrar que " si todo entero anegativo no es impar, entonces no es un
nmero primo o es menor o igual que 2."
Esto es ms fcil de demostrar, ya que todo nmero par se puede escribir como n = 2 k,
donde k es mayor o igual que 1 (la idea de nmero primo tiene sentido slo en los nmeros
naturales 3 ). Si k es igual a 1, tenemos n = 2, nmero primo. Si, por el contrario, k es mayor
que 1, entonces n es mayor que 2, pero no es primo ya que tiene algn factor que no es ni 1
ni l mismo. As que 2 es el nico nmero primo par, por lo que se ha demostrado que
todos los nmeros primos mayores que 2 son impares.

< De acuerdo con las reglas del ajedrez, cada pen se mueve a lo sumo 6 veces.

Consideramos un pen cualquiera.

Supongamos que se mueve 7 veces o ms.

Tratamos de llegar a deducir que no hemos cumplido las reglas

del ajedrez.
Tras el primer movimiento el pen se encuentra al menos en la
fila tercera. Tras el segundo movimiento se encuentra al menos en
la cuarta... Tras el sptimo movimiento se encuentra al menos en la
novena,...fuera del tablero.

APORTE DE JAIRO PORTELA

INDUCCIN MATEMTICA

Definicin: es un mtodo de demostracin que se utiliza cuando se trata de establecer la veracidad

de una lista infinita de proposiciones. El mtodo es bastante natural para usarse en una variedad de
situaciones en la ciencia de la computacin. Algunas aplicaciones tienen un sabor muy matemtico,
tal como verificar que todo entero positivo satisface cierta frmula.

Principio de induccin matemtica

Si una propiedad p se cumple para un nmero natural k cualquiera +, tambin se cumplir para su
sucesor k+1 y por consiguiente se cumplir para cualquier nmero natural.

Pasos para probar una proposicin por induccin matemtica

1. Se prueba la proposicin dada para n=1

2. Se prueba para n=k, lo cual se acepta como verdadero por ser la hiptesis de la
induccin
3. Si la propiedad se cumple para n=1 y para n=k, entonces se prueba para n=k+1
Ejemplo 1

Pruebe por induccin matemtica que 3+7+11++4n-1=n(2n+1)

Solucin

Para n=1
4(1)-1=1(2(1)+1)

4-1=1(3)

3=3

Para n=k
3+7+11+.+4k-1=k (2k+1) hiptesis

Para n=k+1
3+7+11+..+4k-1+4(k+1)-1= (k+1)(2(k+1)+1)

K(2k+1)+4k+4-1=(k+1)(2k+2+1)

2k2+k+4k+3=2k2+2k+k+2k+2+1

2k2+5k+3=2k2+2k+5k+3

SEGUNDO APORTE INDIVIDUAL

APORTE DE VICTOR ZAPATA

MODUS PONENDO PONENS Y MODUS TOLLENDO TOLLENS.

MODUS PONENDO PONENS

Es una regla de inferencia vlida para la lgica proposicional, a veces abreviado MPT.

Est estrechamente relacionado con el modus ponens y modus tollens. Por lo general se

describe como teniendo la forma:

1. Es el caso que A, o es el caso que B

2. A

3. Por lo tanto, no B

Por ejemplo:
 1. Ana y Bill no pueden ganar ambos la carrera.

2. Ana gan la carrera.

3. Por lo tanto, Bill no puede haber ganado la carrera.

Como E.J. Lemmon lo describe: " Modus ponendo tollens es el principio de que, si la

negacin de una conjuncin contiene y tambin una de sus oraciones conjuntivas, entonces

la negacin de su otra conjuncin tambin contiene y.

En notacin lgica esto se puede representar como:

1.

2.

3.

La forma de argumento tiene dos premisas (hiptesis). La primera premisa es la "si-

entonces" o reclamacin de condicional, a saber: que P implica Q. La segunda premisa es

que P, el antecedente de la alegacin condicional, es cierto. A partir de estas dos premisas

se puede concluir lgicamente que Q, el consecuente o apdosis de la reclamacin de

condicional, tambin debe ser verdad. En inteligencia artificial, el modus

ponens usualmente se lo denomina encadenamiento hacia adelante.

Un ejemplo de un argumento que se ajuste a la forma modus ponens:

Si hoy es martes, entonces Juan se ir a trabajar.

Hoy es martes.

Por lo tanto, Juan ir a trabajar.

Este argumento es vlido, pero esto no tiene nada que ver con si alguna de las declaraciones

en el argumento es verdadera; para que modus ponens sea un argumento slido, las

premisas debern ser verdaderas para cualquier instancia verdadera de la conclusin.

Un argumento puede ser vlido, pero, no obstante, poco slido si una o ms premisas son

falsas; si un argumento es vlido y todas las premisas son verdaderas, entonces el

argumento es slido. El argumento solo es slido los martes (cuando Juan va a trabajar),

pero es vlido en todos los das de la semana. Un argumento proposicional usando modus

ponens dice que es deductivo.

En clculo secuencial de conclusin nica, el modus ponens es la regla de corte. El teorema

de eliminacin del corte para un clculo dice que cada prueba que implica Corte puede ser

transformada (por lo general, por un mtodo constructivo) en una prueba sin corte, y de ah

que el corte sea admisible.

La correspondencia de Curry-Howard entre pruebas y programas relaciona el modus

ponens a la funcin aplicacin: si f es una funcin del tipo P Q y x es de tipo P,

entoncesf x es de tipo Q.

Relacin con el Modus Tollens[editar]

Cualquier regla Modus ponens puede probarse mediante una regla Modus Tollens y de

transposicin. La prueba es el siguiente

1. P Q

2. P / Q

3.~Q ~P 1 Transposicin
4.~~ P 2 Doble Negacin

5.~~ Q 3,4 Modus Tollens

6. 5 Doble negacin

Mediante tabla de verdad La validez del modus ponens en la lgica clsica de dos valores

se puede demostrar claramente demostrada utilizando una tabla de verdad.

p q pq

V V V

V F F

F V V

F F V

En los casos de modus ponens se asume como premisa que p q es verdadera y p

es verdadera. Solo una lnea de la tabla de verdad la primera satisface estas dos

condiciones (p y p q). En esta lnea, q tambin es verdad. Por lo tanto, cada vez

que p q sea verdadero y p es verdadero, q debe tambin ser verdadero.

Va tollendo ponens[editar]

Paso Proposicin Derivacin

1 Premisa
 2 Premisa

3 Implicacin material (1)

4 Modus tollendo tollens (2,3)

Ejemplo

Si hoy es lunes,

Entonces maana es martes.

Hoy es lunes.

Conclusin maana es martes.

Premisa 1

Premisa 2

Conclusin aplicando PP

MODUS TOLLENDO TOLLENS.

En Lgica, El modus tollens tollendo en (latn, Modo Que negando Niega), Tambin

Llamado modus tollens y generalmente abreviado MTT o MT, Es Una Regla de inferencia

Que TIENE LA Siguiente forma:

Por Ejemplo, el significado del RAZONAMIENTO Que Sigue la forma del modus tollens

podra ser de la siguiente manera

Si A entonces B

No B

Por lo tanto, no A

Si soleado est '' entonces '' Es de Da.

No es de "Da".

Por Lo Tanto, no est soleado.

Es importante evitar caer en el silogismo incorrecto.

Si regiomontano de soja, soja mexicano '' entonces ''

No regiomontano de soja.

Por Lo Tanto, no soy mexicano.

Es incorrecta Puesto Que podra Servicios hidroclido mexicano y Seguir Siendo, de Ah la

Importancia de no confundir El condicional (si p ',' entonces '' q) con El bicondicional (p si

y solo si q).

Otra Manera de presentar El modus tollens es: Un <------> B

A
--------------

Y an Otra Manera es sin Travs de la notacin del Clculo de secuentes:

(A, B <--->), l-

En Lgica proposicional Su Representacin seria la Siguiente:

[(P} q) & q] p}

Ejemplo:

Si pedro est en el partido de baloncesto,

Entonces se report oportunamente.

Pedro no se report oportunamente.

Conclusin, Pedro no est en el partido de baloncesto.

Premisa 1

Premisa 2

C. Conclusin aplicando a la regla TT en 1 y 2

APORTE DE JAIRO PORTELA

SIMPLIFICACIN Y LEY DE LA CONJUNCIN

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&Q (P M) & Q (P M) & Q

-------- -------- __________________ -____________________

.: P .: Q .: (P M) .: Q

EJEMPLO 1

Una sociedad es una coleccin de individuos que buscan una forma de vida y la cultura es
su forma de vida.

S: Una sociedad es una coleccin de individuos que buscan una forma de vida

C: la cultura es su forma de vida.

S&C S&C

_________ ________________

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

APORTE DE SEBASTIAN LOPZ

SILOGISMO HIPOTETICO Y DISYUNTIVO.

Es aquel tipo de silogismo o regla de inferencia que en su expresin plantea un caso

hipottico, por lo cual puede tener trminos validos o no.
Se caracteriza por estar formado por juicios hipotticos. La estructura formal del Silogismo
Hipottico es la siguiente:

1era premisa: P Q

2da premisa: Q R

Conclusin: P R

Clases de silogismo hipottico

Silogismo Hipottico Mixto:

Est formado por una premisa mayor hipottica, una premisa menor categrica y una
conclusin tambin categrica. Tiene dos modos principales: modus ponens (afirmativo) y
modus tollens (negativo).

La estructura formal del modus ponens es la siguiente:

Si A es, B es. Ahora bien, A es Luego B es.

La estructura formal del modus tollens es la siguiente:

Si A es, B es. Ahora bien, B no es Luego A no es.

Silogismo Hipottico Disyuntivo:

Si la premisa mayor es a la ves hipottica y disyuntiva, Tiene dos modos principales:

modus ponens (afirmativo) y modus tollens (negativo).

Ejemplos:
1.

< si se satisfacen las necesidades bsicas entonces el estado recauda como corresponde

< si el estado recauda como corresponde, entonces el ciudadano est consciente del pago de
sus tributos.

Podemos concluir: si se satisfacen las necesidades bsicas, entonces el ciudadano es

consciente del pago de sus tributos.

2.

pq: si la bola roja golpea a la bola blanca, la bola blanca se mueve

qr: si la bola blanca golpea a la bola negra, la bola negra se mueve.

pr: si la bola roja golpea a la bola blanca, la bola negra se mueve.

TERCER APORTE INDIVIDUAL

APORTE DE VICTOR ZAPATA

1. Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus

hermanos se enojan con ella. Y si no aprueba el periodo acadmico, pierde los

beneficios de la beca obtenida en la Universidad. Pero, Bibiana aprueba el periodo

acadmico 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

 CORRECCION

Declaracin de las proposiciones simples,

p: Bibiana aprueba el periodo acadmico.

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

Expresin formal del razonamiento:

[( )( )( )]( )

P1. ( )

P2. ( )

P3. ( )
C. ( )

Trabajando premisa P2 y P3 por dilema simple obtenemos: pr (P5)

Trabajando las premisas P1 y P5 por dilema simple obtenemos: qr (P6)

FASE GRUPAL

Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lgico y

Matemtico, y se da cuenta que debe realizar muy bien las tareas faltantes para alcanzar a

ganar el curso, observa que est a punto de abrirse el foro del trabajo Colaborativo Tres y

entonces se hace la siguiente autorreflexin: Si soy disciplinada en mis estudios entonces

entrego mis aportes significativos a tiempo o resuelvo mis inquietudes del tema con mi

tutor. Si me dedico a rumbear, pasear, entonces no entrego mis aportes significativos a

tiempo. Si en las noches veo video-tutoriales del tema entonces no necesito resolver mis

inquietudes del tema con mi tutor. Soy disciplinada en mis estudios y en las noches veo

video-tutoriales del tema. Por lo tanto entrego mis aportes significativos a tiempo.

p= Si soy disciplinada en mis estudios

q= entrego mis aportes significativos a tiempo

r= resuelvo mis inquietudes del tema con mi tutor.

s= me dedico a rumbear, pasear,

t= en las noches veo video-tutoriales del tema

1. Premisa 1: (pq)r

2. Premisa 2: s~q

3. Premisa 3: t~r

4. Premisa 4: pt

Conclusin: q

{[(pq) r] [(s~q) (t~r)] p t}q

LEYES DE INFERENCIA.

5. Simp (4) = p

6. Simp (4) = t

7. MPP= [(t~r)t]~r

8. MTP(1-7) = {[(pq)r}(pq)

9. MPP (8-5) = [(pq)p]q

p q r s t ~q ~r

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

V V V F V F F

V V V F F F F

V V F V V F V

V V F V F F V

V V F F V F V

V V F F F F V

V F V V V V F

V F V V F V F

V F V F V V F

V F V F F V F

V F F V V V V

V F F V F V V

V F F F V V V

V F F F F V V

F V V V V F F

F V V V F F F

F V V F V F F

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

F V F V F F V

F V F F V F V

F V F F F F V

F F V V V V F

F F V V F V F

F F V F V V F

F F V F F V F

F F F V V V V

F F F V F V V

F F F F V V V

F F F F F V V

pq [(pq) r] s~q t~r [(s~q) [(pq) r] [(pq) [(pq) r] {[(pq) r]

(t~r)] [(s~q) r] [(s~q) [(s~q)

(t~r)] [(s~q) (t~r)] (t~r)] p

(t~r)] pt t}q

V V F F F F F F V

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

V V V V V V V F V

V V F V F F F F V

V V F V F F F F V

V V V V V V V V V

V V V V V V V F V

F V V F F F F F V

F V V V V V V F V

F V V F F F F F V

F V V V V V V F V

F F V V V F F F V

F F V V V F F F V

F F V V V F F F V

F F V V V F F F V

V V F F F F F F V

V V F V F F F F V

V V V F F F F F V

V V V V V V F F V

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

V V V V V V F F V

V V V V V V F F V

V V V F F F F F V

V V V V V V F F V

V V V F F F F F V

V V V V V V F F V

V V V V V V F F V

V V V V V V F F V

V V V V V V F F V

V V V V V V F F V
 CONCLUSIONES

El desarrollo de este trabajo permito adquirir conocimientos de acuerdo a las leyes de la

inferencia y afianzar mas los conocimientos obtenidos en el manejo de tablas de verdad

dndole uso al simulador Truth Table para la verificacin dela misma.

A dems de ser un tema muy complejo y extenso de logro por dar respuesta a lo planteado

disipando las dudas obtenidas en los aportes individuales.

 BIBLIOGRAFIA

Leccin 24: Demostracin directa e indirecta - Unad

datateca.unad.edu.co/.../leccin_24_demostracin_directa_e_indirecta.html

LOS METODOS DE DEMOSTRACION EN MATEMATICAS ... -

Usac
biblioteca.usac.edu.gt/tesis/07/07_1914.pd

Pensamiento-lgico-Matemtico-Unidad-3.docx - Scribd
https://es.scribd.com/doc/268522401/Pensamiento-logico-Matematico-Unidad-3-
docx

Ejemplo de Inferencia lgica

www.ejemplode.com/29-logica/3945-ejemplo_de_inferencia_logica.html

Algunos ejemplos y ejercicios de inferencia lgica - Scribd

https://es.scribd.com/doc/2545043/Algunos-ejemplos-y-ejercicios-de-inferencia-
logica

INFERENCIA LGICA O ARGUMENTO LOGICO - PROBLEMAS

Y ...0https://www.youtube.com/watch?v=OmX1Xg6bnlk

2.4.1 Razonamientos e inferencias - dit/UPM

dit.upm.es/~gfer/ssii/rcsi/rcsisu16.html