TRABAJO COLABORATIVO TRES

PENSAMIENTO LOGICO Y MATEMATICO

FASE 3

INTEGRANTES:
CRISTIAN BASALLO MEDINA
CODIGO:1.143.153.980

GRUPO:

TUTOR:
LEIDI MILDREC ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E INGENIERIAS
16 DE JUNIO DE 2017
 Cordial saludo

Compaeros y tutor

La presente es para socializar los temas escogidos para la realizacin de la

presente actividad.

Primera etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de los diferentes tipos de Demostracin en la Lgica Matemtica
(slo selecciona una e informa en el foro cual escogi, para que no sea escogido
por otro integrante), la terminologa es la siguiente:

Demostraciones Directas e Indirectas.

Demostracin Directa e Indirecta:

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
ejemplo 3

Segunda etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de las leyes de inferencia lgica (slo selecciona una e informa en el
foro cual escogi, para que no sea escogido por otro integrante), la terminologa
de las leyes de inferencia es la siguiente:

Silogismo Hipottico y Silogismo Disyuntivo.

Silogismo hipottico.
Tambin se puede entender que el argumento que se usa en su estructura no es
siempre valido. Para determinar si es silogismo hipottico se resalta que la primera
parte de la conclusin es el antecedente de la primera premisa y la segunda parte
de la conclusin es el consecuente de la segunda premisa.
De forma lgica
1. p -> q
2. q ->r
3. p ->r
4.
Ejemplo.
1. Todos los hombres son mamferos.
2. Todos los mamferos son animales.
Conclusin: Todos los hombres son animales

Silogismo disyuntivo.
Esta ley se compone cuando se caracteriza cuando la primera premisa es a
separada por o y la segunda premisa es la negacin del antecedente o del
consecuente de la primera premisa, y la conclusin es la afirmacin de la primera
premisa del antecedente o del consecuente.
De forma lgica
1. p v q o pvq
2. ~p o ~q
Conclusin: q o p
Ejemplo:

1. Llueve o hace sol

2. No llueve.
Conclusin: hace sol.

Tercera etapa:

Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas de

verdad) y la aplicabilidad de las leyes de inferencia lgica de uno de los problemas
de enunciados tipo argumento del ANEXO 1; adems adjuntar un pantallazo de la
comprobacin de la tabla de verdad con el simulador TRUTH dicho simulador est
dispuesto en el entorno de Aprendizaje Prctico. En el foro de Interaccin y
Produccin encontrar un link que le permitir descargar un PDF con un ejemplo
de cmo realizar el proceso de demostracin de la validez del argumento con el
uso de la tabla de verdad.. (Recuerde slo seleccionar uno e informar en el foro el
seleccionado para que no sea escogido por otro integrante).

1. En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro

amigos, del cual Juan Arroyo y Mara Aguirre hacen parte; en cierta ocasin se
gener una discordia laboral por diferentes puntos de vista en el proceso de
acompaamiento legal a una persona sindicada de varios delitos; Juan ha
asumido la defensa de Alberto quien es la fuente de discordia con Mara. Mara ha
decidido tomar acciones radicales frente a lo ocurrido con Juan: Si el cliente de
Juan gana la apelacin, entonces Mara se retira del buffet de abogados. Mara se
retira del buffet de abogados si y slo si Alberto el cliente de Juan no es llevado a
prisin. Por lo tanto, si el cliente de Juan gana la apelacin, entonces no es
llevado a prisin. Determinar con el uso de las dos formas de la tabla de verdad la
validez del razonamiento que hace Mara y hacerlo tambin con el uso de las
leyes de inferencia.

Primera etapa:
Consiste en la participacin significativa de cada integrante en el E-Portafolio (este
recurso lo encuentran en el entorno de Seguimiento y Evaluacin). Para este
aporte, cada estudiante escoger una de las terminologas del lgebra de Boole
(publicar en el Foro de Interaccin y Produccin la terminologa seleccionada
para evitar que otro integrante la seleccione) y realizar una pequea presentacin
en PREZI, de la conceptualizacin o un ejemplo de lo seleccionado, evidenciando
en el EPortafolio el enlace de acceso. Las terminologas del lgebra de Boole son:

Teoremas del lgebra de Boole.

Cordialmente

Cristian Basallo medina