LGICA PROPOSICIONAL

GRUPO: 111
ADRIANA MARCELA CARREO SANTOS
OSCAR LEONARDO BARRERA CAMEJO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LGICO MATEMTICO
COLOMBIA
14 DE Julio de 2.016

*OSCAR JHONNY GMEZ

Tabla de contenido
Introduccin
Objetivos

Solucin Problema Lgica Proposicional Fase Grupal 5

Solucin Problemas Lgica Proposicional Fase Individual
Conclusiones

10

Bibliografa 11

INTRODUCCIN
El presente trabajo comprende las temticas de la Lgica Proposicional, tablas de
verdad, proposiciones compuestas, tautologa y contradicciones, y proposiciones
categricas.

OBJETIVOS

Conceptualizar y argumentar de forma adecuada los procedimientos desde

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

Plantear y resolver problemas de Lgica Proposicional con la utilizacin de

las operaciones necesarias y la representacin a travs de las Tablas de
Verdad.

SOLUCIN PROBLEMA LGICA PROPOSICIONAL

FASE GRUPAL
Si Andrs estudia Economa, entonces participar en la convocatoria de una
beca para especializacin. Pero, no participar en la convocatoria, si reprob
el curso de Fundamentos de Administracin y no aprob el curso de
Finanzas. Si Andrs no reprob el curso de Fundamentos de Administracin
o aprob el curso de Finanzas, entonces participar en la convocatoria de
una beca para especializacin. Por lo tanto, participar en la convocatoria si
y solo si evidencia un promedio de 4,3 en todos sus estudios.
p= Andres estudia economia

q= Andres participara enla convocatoria de una beca para laespecializacion

r= Andres reprobo el curso de fundamentos de administracion

s= Andres aprobo elcurso de finanzas

t=Andres evidencia promedio de 4.3 en sus estudio

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

SOLUCIN PROBLEMAS LGICA PROPOSICIONAL

FASE INDIVIDUAL
BLANCA CECILIA PEALOZA OROS
Problema# 1. Rafael siempre quiso ser actor de teatro, pero no logr cumplir su
sueo porque se dedic a trabajar para buscar su sustento diario. Pero ha llegado
una felicidad a Rafael y es el hecho de que su hija Sofa quiere ser actriz de teatro
y pensando en su hija construye en su mente el siguiente pensamiento: No es
cierto que: si mi hija Sofa estudia los libretos, obtiene representar el papel
protagnico en la obra de Teatro. Si no estudia, lo pasa divertido en el ensayo. Si
no obtiene el papel protagnico, no lo pasa bien en el ensayo. As pues, mi hija
Sofa obtiene el papel protagnico. De acuerdo al resultado en la tabla de verdad
justifique si el pensamiento de Rafael con relacin a su hija es coherente o
incoherente.

OSCAR LEONARDO BARRERA CAMEJO

Problema # 2. Francisco es estudiante del curso de Herramientas Digitales para la
Gestin del Conocimiento junto con Luis. Luis en un aporte individual para el
Trabajo Colaborativo Uno escribe en el foro la siguiente idea: Si Francisco mi
compaero de curso, aprende Cmaptools y realiza los mapas conceptuales,
entonces Francisco aprende Cmaptools, entonces el realiza mapas conceptuales
o reconoce una red de conceptos y Francisco no realiza mapas conceptuales y el
no reconoce una red de conceptos.
7

Aprende Cmaptools= p
Realiza mapas= q
Reconoce una red= r
(pq)(pqVr)(qr)

Qu se puede decir de esta informacin?

Que es falsa la idea de Luis, debido a que la tabla de la verdad nos presenta datos
falsos.

Problema#3. Hilder ha comenzado a revisar los productos de la Fase Individual del

Trabajo Colaborativo Uno del Curso Pensamiento Lgico y Matemtico, para lo
cual se encuentra observando los primeros aportes hechos por los integrantes del
grupo colaborativo 816, pero en este grupo slo han participado tres integrantes. A
Hilder se le ha generado una confusin por la seleccin de aportes establecida por
Pablo, Jaime y Miguel; para aclarar cual operacin entre conjuntos escogi cada
uno de ellos, hace el siguiente anlisis: Pablo selecciona la operacin de unin
entre conjuntos, si Jaime selecciona la interseccin de conjuntos. Miguel
seleccionar la operacin de diferencia de conjuntos o Pablo no seleccionar la
8

unin entre conjuntos. O Jaime no selecciona la operacin de interseccin entre

conjuntos o Miguel no ha seleccionado la operacin de diferencia entre conjuntos.
Por consiguiente, Jaime no seleccion la interseccin entre conjuntos. Es
correcto este anlisis?
p: si Jaime selecciona la interseccin de conjuntos.
q: Miguel seleccionar la operacin de diferencia de conjuntos
r : Pablo selecciona la operacin de unin entre conjuntos,
Premisas:
P1: r p
P2: (q v r)
P3: p v qp
Conclusin
(r p)(q v r)] v (p v q)}p
P
Q R P Q
r p (q v r)

p v q

(r p)(q v r)] v (p v q)}p

R
F

Es una contingencia

ADRIANA MARCELA CARREO SANTOS

Problema # 4. El organizador del Congreso Nacional de Matemticas ha invitado a
un viejo colega para que sea ponente en la lnea de Ecuaciones Diferenciales.
scar no lleg a tiempo para su ponencia y en su afn de salvar la situacin le
9

comenta lo siguiente a Andrs el organizador del evento: Como vivo en un lugar

muy retirado, entonces debo desplazarme en un viaje de 7 horas por tierra para
llegar a cumplir con la ponencia en el evento. Es as que, cuando viajo en avin
me mareo. Siempre que me da mareos, me entra un fuerte dolor de cabeza. As
pues, siempre que me entra un fuerte dolor de cabeza, viajo. El organizador del
Congreso de Matemticas pensar que es correcta la justificacin por el retraso o
scar se contradice o no hay sentido en lo que expresa?
TAUTOLOGA
Vivo: p
Viajo: q
Mareo: r
Dolor de cabeza: s
((p > q) > (q > r)) & (r>s) > (s > q)

El organizador del Congreso de Matemticas pensar que es correcta la

justificacin por el retraso o scar se contradice o no hay sentido en lo que
expresa?
Debido a que es una tautologa el organizador del congreso de matemticas
finalmente concluye que es correcta la justificacin.
10

ELAS LOSADA RAMREZ

Problema # 5. En el fondo de empleados de una empresa desean premiar a los
asociados ms antiguos con un viaje para dos personas con todo pago a la isla de
San Andrs, los asociados ms antiguos son Alberto, Javier, Camilo y los
hermanos Luis y Carlos. En la Junta para determinar a quin otorgar el premio se
hace la siguiente consideracin con relacin a los ahorros: Si Alberto posee
mayor cantidad de ingresos que Javier, Javier posee mayor cantidad de ingresos
que Luis. Camilo posee mayor cantidad de ingresos que Carlos el hermano de
Luis, si Javier posee mayor cantidad de ingresos que Luis. Por lo tanto, si Alberto
posee mayor cantidad de ingresos que Javier, Camilo es quien posee mayor
cantidad de ingresos que Carlos.
Es correcto o contradictorio el anlisis?
p= Alberto posee mayor cantidad de ingresos que Javier
q= Javier posee mayor cantidad de ingresos que Luis
r= Camilo posee mayor cantidad de ingresos que Carlos
(pq)

(qr)

(pr)

{(pq) (qr)} (pr)

11

CONCLUSIONES
En el presente trabajo estudiamos temas relacionados con la lgica matemtica,
proposiciones como tablas de la verdad, al realizar este trabajo comprendimos de
una manera ms clara los conceptos manejados en lgica matemtica, y lo cual lo
podemos relacionar en nuestro diario vivir.

12

BIBLIOGRAFA

13