Pensamiento lgico y matemtico 1

LGICA PROPOSICIONAL TABLAS DE VERDAD EN PROPOSICIONES COMPUESTAS

TAUTOLOGAS Y CONTRADICCIONES PROPOSICIONES CATEGRICAS

PRESENTADO POR

ROGER ALBERTO GARCIA BELTRAN

LUIS CARLOS ALVAREZ

PEDRO FELIPE QUINTERO

PRESENTADO A: TUTORA

HILDER MOSCOTE

UNIVERSIDAD ABIERTA Y ADISTANCIA UNAD

FACULTAD DE INGENERIA

INGENERIA DE TELECOMUNICACIONES

BOGOTA D.C

2015
 Pensamiento lgico y matemtico 2

INTRODUCION

Se puede decir que una de las agrandes dificultades que se presenta en la vida es el

desarrollo de la habilidades matemticas, en mucho de los casos se encuentra muy bajo nivel de

manejo de las matemticas. Pero est problemtica es generada por que los individuos no han

desarrollo bien su pensamiento matemtico como debe de ser. La raz del razonamiento lgico

matemtico est en la persona. Cada sujeto lo construye por abstraccin reflexiva que nace de la

coordinacin de las acciones que realiza el sujeto con los objetos. Del pensamiento lgico se

deducen otras serie de procesos que permiten poner en prctica las habilidades matemticas, estas

estn relacionadas con las conclusiones, que se deduce correctamente del conjunto de premisas

se dice que la inferencia es vlida, en el caso contrario la inferencia no es vlida, de esta manera

sabemos que la conclusin se deriva correctamente de sus premisas porque hay un conjunto

de leyes lgicas que garantizan dicha correccin; justamente la lgica estudia el modo de usar

estas leyes, con las cuales podemos saber si una inferencia es vlida o no, de ah que la lgica es

una ciencia que estudia los mtodos y las leyes que determinan la validez de la inferencia.

As como existe una teora para realizar clculos con nmeros (la aritmtica) o con

objetos ms complejos como diferencial e integral, tambin existen reglas precisas para manejar

proposiciones. Esto ltimo corresponde al estudio de la lgica proposicional.

De esta manera por medio de este trabajo se pretende afianzar las habilidades y los

mecanismos que nos ayudan a saber cundo una proposicin es verdadera o es falsa y confirmar
 Pensamiento lgico y matemtico 3

el procedimiento por medio de una tabla de verdades que garantiza la solucin de los ejercicios

planteados para este trabajo. Para el desarrollo de este trabajo se realizaran varios ejercicios por

parte de los integrantes del grupo de manera individual y uno grupal este ltimo permitir

fortalecer el proceso de aprendizaje colaborativo y por ltimo se realizara consolidacin de

todos los aportes para la entrega final.

 Pensamiento lgico y matemtico 4

Objetivos

Analizar y argumentar de forma adecuada los procedimientos desde la lgica

proposicional utilizados para demostrar la veracidad y validez de situaciones especficas y

verificar por medio de una tabla de verdad.

Objetivos Especficos

Desarrollar los ejercicios plantados en la gua de manera individual y grupal.

Analizar los procedimientos de los ejercicios desarrollados de manera individual y

grupal.

Verificar en la tabla de verdad para saber si se genera una tautologa, contradiccin o

contingencia.
 Pensamiento lgico y matemtico 5

PROBLEMA Y SOLUCION DE LA FASE GRUPAL

Si Soraida estudia Ingeniera Electrnica, entonces participar en la convocatoria laboral

de una empresa de equipos tecnolgicos. Pero, no participar en la convocatoria laboral de una

empresa de equipos tecnolgicos, si Soraida reprob el curso de Telemtica y no aprob el curso

de Micro controladores. Si Soraida no reprob el curso de Telemtica o aprob el curso de Micro

controladores, entonces participar en la convocatoria laboral de una empresa de equipos

tecnolgicos. Por lo tanto, participar en la convocatoria laboral de una empresa de equipos

tecnolgicos si y solo si evidencia un promedio de 4,3 en todos sus estudios.

P=sraida estudia ingeniera

q=participa en una convocatoria laborar de una empresa

r= reprueba el curso de telemtica

s=aprueba el curso de micro controladores

t=si evidencia un promedio de 4,3 en todos sus estudios

q=no participa en una convocatoria

r= si no aprueba el curso de telemtica

s= no aprueba el curso de micro controladores

 Pensamiento lgico y matemtico 6

[{(p q) (rq)} {( s r) (sq)}] (qt)

Tabla De Verdades Problema De Fase Grupal

 Pensamiento lgico y matemtico 7

Comprobacin Del Problema Fase Grupal Truth

file:///C:/Users/ROGER/Desktop/Truth%20Tables.%20ejercicio%20%231html.html
 Pensamiento lgico y matemtico 8

Problema Y Solucin De La Fase Individual

1. problema y solucin de la fase individual Roger Garca

Paula es estudiante del curso de Pensamiento Lgico y Matemtico junto con Luisa. Luisa en

un aporte individual para el Trabajo Colaborativo Tres escribe en el foro la siguiente idea: Si

Paula mi compaera de curso, aprende Lgica Proposicional y realiza las tablas de verdad,

entonces Paula aprende Lgica Proposicional, entonces ella realiza Tablas de verdad o Paula

reconoce una Tautologa y Paula no realiza tablas de Verdad y ella no reconoce una Tautologa.

Qu se puede decir de esta informacin?

P= aprender lgica proporcional

Q=realiza tabla de verdad

R= reconocer una tautologa

 Pensamiento lgico y matemtico 9

Es una contingencia: Una proposicin es una contingencia si no es ni verdadera ni falsa

independientemente de los valores de verdad de las proposiciones simples que la componen.

1,1 comprobacin del problema fase grupal truth

 Pensamiento lgico y matemtico 10

2. problema y solucin de la fase individual Luis Carlos lvarez

Segundo Aporte Individual: Planteamiento y resolucin (utilizando las operaciones necesarias

y la representacin a travs de las Tablas de Verdad) de uno de los siguientes problemas de

Lgica Proposicional; adems establecer si la correspondiente tabla es una Tautologa,

Contradiccin o Contingencia (slo selecciona uno e informa en el foro el seleccionado para que

no sea escogido por otro integrante): 1. Se han seleccionado tres estudiantes del curso de

Pensamiento Lgico y Matemtico con el fin de que puedan desplazarse a tres ciudades donde

hay gran nmero de estudiantes matriculados en el curso, con el fin de brindar apoyo en el

manejo de las actividades B-Learninig, los tres estudiantes seleccionados son de la ciudad de

Pereira. En el proceso logstico, el Director de Curso hace el siguiente anlisis: Adriana se

desplazar a Medelln, si Mara viaja a Pasto. Laura partir a Bucaramanga o Adriana no partir

para Medelln. O Mara no viaja a Pasto o Laura no viajar a Bucaramanga. Por consiguiente,

Mara no se queda en Pasto. Es correcta esta logstica?

Solucin

P= Adriana se desplaza a Medelln

Q= Mara se desplaza a pasto

R= Laura se desplaza a Bucaramanga

[(q p) (r p) ( q r)] q
 Pensamiento lgico y matemtico 11

Es una contingencia: ya que el resultado es variable y se entiende por verdad

contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa,

(combinacin entre tautologa y contradiccin) segn los valores de las proposiciones que la

integran.

2.1 comprobacin del problema fase grupal truth

 Pensamiento lgico y matemtico 12

3. problema y solucin de la fase individual pedro Felipe quintero

Santiago es estudiante de primer periodo acadmico de la UNAD en el programa de

Ingeniera de Sistemas, y se le han dificultado los cursos de Matemticas, Santiago sabe que eso

tiene que ver con su formacin en el colegio y por su compromiso en el bachillerato, entonces

reflexiona el hecho de que para tener buenas notas debe ser disciplinado y pensando en su hijo

construye en su mente el siguiente pensamiento: No es cierto que: si mi hijo Javier estudia,

obtiene buenas calificaciones. Si no estudia, lo pasa divertido en el colegio. Si no saca buena

nota, no lo pasa bien en el colegio. As pues, mi hijo Javier obtiene buenas calificaciones. De

acuerdo al resultado en la tabla de verdad justifique si el pensamiento de Santiago con relacin a

su hijo es coherente o

{(p q) (p r) (q r) } q
 Pensamiento lgico y matemtico 13

Teniendo en cuenta que la tabla de verdad de la proposicin es siempre verdadera por esto

decimos que es una tautologa y por esto es incoherente el pensamiento de Santiago.

3.1comprobacin del problema fase grupal truth

 Pensamiento lgico y matemtico 14

Conclusin

Por medio del trabajo desarrollado se fortalecieron herramienta lgico matemticas, que

permitieron el anlisis y la argumentacin de los procedimientos hechos con cada uno de los

ejercicios planteados, de igual manera se logra evidenciar a travs del desarrollo de las diferentes

actividades la secuencia lgica que se debe tener en el momento que se lee las proposiciones, as

mismo se fortalece las habilidades en el momento de desarrollar un procedimiento lgico

matemtico cundo es necesario implementar las tablas de verdad con el fin de sacar una

conclusin ya sea falsa o verdadera.

 Pensamiento lgico y matemtico 15

Referencias

www.youtube.com/watch?v=YHeMRwSF1gM

http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

http://es.slideshare.net/JudithWuera/las-tablas-de-verdad

Suppes, P, y Hill, S, (1985), introduccin a la lgica matemtica, Bogot, Colombia:

publicaciones culturales