UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PENSAMIENTO LOGICO Y MATEMATICO

TRABAJO COLABORATIVO DOS

ALUMNA
ANDREA JOHANA PERDOMO OSPINA C.C 38.143.603
LAURA MARCELA ZAPATA C.C 1.042.061.006

TUTOR
OSCAR JHONNY GOMEZ

COLOMBIA 16 DE OCTUBRE 2015

INTRODUCCION

El presente trabajo se realiz para identificar y socializar las temticas de la lgica

proposicional
Para esto cada participante del grupo realizo individualmente aportes acerca de algunas de
las terminologas de la lgica proposicional como el concepto de la lgica: proposiciones
simples y compuestas, Tablas de la verdad, tautologas, contradicciones y contingencias,
silogismos categricos, y sus diferentes representaciones grficas.

OBJETIVOS

Identificar y construir proposiciones lgicas simples y compuestas

Construir tablas de verdad.
Aprender usar los cuantificadores universales y existenciales en la construccin y
representacin de proposiciones categricas, elementos fundamentales en la
construccin de silogismos categricos.

FASE GRUPAL.
PLANTEAMIENTO Y SOLUCION DEL SIGUIENTE PROBLEMA DE LOGICA
PROPOSICIONAL
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.
PLANTEAMIENTO DEL PROBLEMA
Sean:
p: Si Zoraida estudia Ingeniera Electrnica
q: Participar en la convocatoria de una empresa de equipos tecnolgicos
r: Si Zoraida reprueba el curso de telemtica y no aprueba el curso de micro controladores.
1. Si Zoraida estudia ingeniera Electrnica, entonces participar en la convocatoria
laboral de una empresa de equipos tecnolgicos.

pq
2. No participar en la convocatoria de una empresa de equipos telefnicos si y solo si
Zoraida reprueba el curso de telemtica y no aprueba el curso de Micro
controladores.

~qr
3. Participar en la convocatoria laboral de una empresa de equipos tecnolgicos si y
solo si Zoraida no reprueba el curso de telemtica o aprueba el curso de
microcomputadores.

(p q) (q ~r)
El anlisis es correcto por lo cual es una proposicin de Contingencia, ya que para unas
interpretaciones es verdadera y para otras es falsa.

TABLA DE LA VERDAD

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

~p
F
F
F
F
V
V
V
V

~q
F
F
V
V
F
F
V
V

~r
F
V
F
V
F
V
F
V

pq
V
V
F
F
V
V
V
V

~q r
F
V
V
F
F
V
V
F

PANTALLAZO DEL USO DEL SIMULADOR TRUTH

Andrea Perdomo

q~r
F
V
V
F
F
V
V
F

(p q)(q~r)
F
V
F
V
F
V
V
F

APORTES INDIVIDUALES
Andrea Perdomo
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. 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?
Planteamiento del problema.

Sean: p: Catalina mayor que Sandra

q: Sandra mayor que Luis
r: Andrea es mayor que Carlos

a. Si Catalina es mayor que Sandra, entonces Sandra es mayor que Luis

pq
b. Andrea es mayor que Carlos el hermano de Luis si y solo si Sandra es mayor que
Luis.

rq
c. Si Catalina es mayor que Sandra entonces Andrea es mayor que Carlos.

pr
TABLAS DE LA VERDAD.

p q

r q

p r

(p q)^ (r q)

[(p q)^(r q)] p q

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
F
F
V
V
V
V

V
F
F
V
V
F
F
V

V
F
V
F
F
V
F
V

V
F
F
F
V
F
F
V

V
V
V
V
V
V
V
V

El anlisis es correcto y es una Tautologa ya que es verdadera para todas las

combinaciones posibles de los valores de verdad de sus premisas.

Tercer Aporte Individual:

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:

Ningn colombiano puede ser Presidente y Gobernador al mismo tiempo.

Armando es un colombiano.
Armando no puede ser Presidente y Gobernador al mismo tiempo.
PREMISAS
Primera premisa: Armando no puede ser Presidente ni gobernador al mismo tiempo
Segunda premisa: Armando es un colombiano
Conclusin: Ningn colombiano puede ser Presidente y Gobernador al mismo tiempo.
Puede ser Presidente y Gobernador al mismo
Predicado de la conclusin
tiempo.
Ningn colombiano
Sujeto de la conclusin

DIAGRAMA DE VENN
U
S

Ningn S es P o ningn P es S.

Laura Zapata
El curso de Fsica General requiere de realizar el componente prctico; es as que, los
estudiantes que matriculan dicho curso deben desplazarse a la Universidad para desarrollar
las prcticas de laboratorio. Carolina es estudiante de Fsica General y no asisti a las
prcticas de laboratorio y en su afn de salvar la situacin le escribe el siguiente mensaje al
Director de Curso: Como vivo en un lugar muy retirado de la UNAD, entonces debo
desplazarme en un viaje de 7 horas para llegar a cumplir con las prcticas de laboratorio. Es
as que, cuando viajo me da migraa. Siempre que me da migraa, me entra un escalofro
severo. As pues, siempre que me entra un escalofro severo, viajo. El director de curso
pensar que es correcta la excusa o por el contrario ella se contradice o no hay sentido en lo
que expresa?

Planteamiento del problema.

p = Cuando viajo me da migraa.
q = Siempre que me da migraa, me entra un escalofri severo.
r = Siempre que me entra un escalofri severo viajo.

Cuando viajo me da migraa.

pq
Siempre que me da migraa, me entra un escalofri severo.
qr
Siempre que me entra un escalofri severo, viajo.
rp

El director de curso puede pensar que Carolina se est contradiciendo porque ella le
presenta excusas de que no pudo viajar pero en las razones que le da por no haber viajado
muestra que ella en esas condiciones si viaja.

TABLA DE LA VERDAD.

pq

qr

rp

(pq)(rp)

[(pq) (rp)] [(pq)(rp)] [(pq)(rp)]

SEGUNDO PROBLEMA

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.

S = Docentes en licenciados
P = Docentes de matemticas
M = Universidad UNAD

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

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.

PANTALLAZO DEL USO DEL SIMULADOR TRUTH

Laura Zapata.

CONCLUSIONES

Las equivalencias lgicas crean implicaciones lgicas, cualquier implicacin lgica se

puede demostrar mediante el mtodo de la tabla de la verdad.
Una tabla de verdad es aquella que muestra el valor de verdad de una proposicin
compuesta.
Un silogismo es un argumento deductivo en el que se infiere una conclusin a partir de dos
premisas

BIBLIOGRAFIA

Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado

de: http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_AVA_2015-01/Lectura-1.pdf