PENSAMIENTO LOGICO MATEMATICO

TRABAJO COLABORATIVO DOS

ROSALY RUIZ
DI CODIGO: 49779405
E
CEAD CURUMAN CESAR
200611_601
TUTOR
WILLIAM PRECIADO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PROGRAMA DE PSICOLOGA
2015

introduccion
Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y conocidos de la
lgica formal, pero al mismo tiempo tambin uno de los ms poderosos y claros. Entender
bien las tablas de verdad es, en gran medida, entender bien a la lgica formal misma.
Si entonces, una proposicin es una frase que es V o F, no existiendo la posibilidad de
obtener ambas decisiones conjuntamente (Principio del tercero excluido). Las
proposiciones las denotamos por letras minsculas p, q, r, etc., que resumirn, en s mismo,
el significado particular que tengan al interior de una situacin concreta.

Objetivos

bsicos para la solucin de un problema: Resolver proposiciones compuestas

utilizando los conectivos lgicos.
Hallar el valor de verdad de una proposicin a travs de la conjuncin, disyuncin,
condicional, incondicional y negacin a travs de proposiciones simples.
Construir la tabla de verdad de una proposicin compuesta, y decidir si es una ley.

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)
Luis es estudiante de Psicologa de la UNAD y desea hacer una investigacin con
relacin a los comportamientos heredados a travs de las cadenas transgenticas;
para lo cual toma como muestra tres integrantes de su familia, siendo ellas su
hermana, su madre y su abuela materna. Para ubicarse en el contexto de su realidad
familiar hace la siguiente consideracin: Si Catalina es mayor que Sandra, Sandra
es mayor que Luis. Andrea es mayor que Carlos el hermano de Luis, si Sandra es
mayor que Luis. Por lo tanto, Si Catalina es mayor que Sandra, Andrea es mayor
que Carlos. Es correcto o contradictorio el anlisis?

Es una expresin tautologa

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las diferentes
proposiciones categricas, y proponer una representacin mediante Diagramas de Venn de
las diferentes relaciones entre las clases implicadas, segn las proposiciones categricas:

e. Algunos docentes en Licenciados son de la Universidad UNAD. Todos los docentes de

Matemticas son de la Universidad UNAD. Algunos docentes de Matemticas no son
docentes en Licenciados.

A Algunos docentes en Licenciados son de la Universidad UNAD.

B Todos los docentes de Matemticas son de la Universidad UNAD.
C Algunos docentes de Matemticas no son docentes en Licenciados.

Respuesta
Algn A es B
Algn B es A
Por lo tanto algn A no es B

 Si Zoraida 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 Zoraida reprob el
curso de Telemtica y no aprob el curso de Micro controladores. Si Zoraida 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.

Es una expresin tautologa

Conclusin
Como sabemos, la tabla de verdad del condicional nos dice que ste slo es falso
cuando el antecedente es verdadero y el consecuente falso, y verdadero en el resto
de casos. Esto coincide completamente con la definicin.
De argumento vlido, segn la cual, un argumento ser vlido exactamente los
mismos casos en que el condicional que le correspndelo sea. Como un condicional
no puede ser verdadero si el antecedente es verdadero y el consecuente falso, un
argumento no podr ser vlido si las premisas son verdaderas y la conclusin falsa.