Corporación Universitaria Del Caribe - CECAR

Facultad de Humanidades y Educación

Primer Guı́a de Lógica

1. Escribir cinco ejemplos de proposiciones c) Pedro es presidente y, Juan es tesorero o Jaime

compuestas (uno por cada termino de enlace)
utilizando proposiciones simples relacionadas
con su disciplina profesional.
2. Identificar y escribir las proposiciones
simples que integran cada proposición
compuesta. Además, como cada una de ellas
no tienen el termino de enlace principal,
escriba nuevamente la proposición utilizando
la forma correcta.
a) El pregunta por su pipa ası́ como
pregunta por su escudilla.
b) La música es muy suave o bien la puerta
esta cerrada.
c) Si luis es un buen jugador, participará en
el partido del colegio.
d) Es falso decir que los gatitos
acostumbran llevar mitones.
e) No quiero saber de ella ni de sus
problemas
f) o es muy pesado o es muy hueco.
g) Este metal se funde si y solamente si se
somete a un calor muy intenso.
3. Indicar cuales son las proposiciones simples
involucradas en cada caso y utilizar
los conectores lógicos para simbolizar
completamente las siguientes proposiciones
compuestas.
a) Marı́a no está aquı́ o Juan se ha ido.
b) Si Pedro está en casa o Juan está en el patio,
entonces José es inocente.
es tesorero.
d) Si no estamos allı́, entonces perderemos
nuestro voto.
e) Hoy voy al concierto o a la fiesta, y si voy al
concierto entonces no dormiré lo suficiente.
f) Si a la vez el resultado es un número primo o
par, y Marı́a esta equivocada, entonces Rafael
esta equivocado también.
g) No ocurre que, Jaime es el mas alto o Juan es
el mas alto.
h) Si el baile empieza a las seis, entonces nosotros
llegaremos pronto y Pilar llegará tarde.
4. Considere.
p : Monterı́a es más grande que Sincelejo.
q : Barranquilla está al norte de Monterı́a.
r : Bogota es más pequeña que Barranquilla.
y de acuerdo a ello, determine cuales de
las siguientes proposiciones son verdaderas o
falsas mediante diagramas de certeza.
a) p ∨ r
b) (∼ q) ∧ r
c) p ↔ [(∼ q) ∨ r]
d) ∼ (p ∧ r) → (p ∨ ∼ q)
e) ∼ [(p ∨ r) ∧ (r ∨ q)]