TALLER No.

1
LOGICA MATEMTICA
1. Analiza y discute lo siguiente:
Una maana, Felipe fue encontrado muerto de un balazo y la polica detuvo a tres
sospechosos: Pedro, Juan y Daniel, esa misma maana los tres fueron interrogados y
declararon lo siguiente:
Pedro

Yo no lo mat
Yo nunca haba visto a Juan antes
Es cierto, yo conoca a Felipe

Juan

Yo no lo mat
Pedro y Daniel son mis amigos
Pedro jams ha matado a alguien

Daniel

Yo no lo mat
Pedro miente cuando dice que no haba visto a Juan antes
Yo no s quin lo mat

Una y slo una declaracin de cada uno es falsa y uno de los tres es el culpable, quin
lo mat?
Todo el anlisis que se haga de este problema estar basado en suponer que una y slo
unadeclaracin de cada uno de ellos es falsa y que uno de los tres es el culpable.
Haciendo estas suposiciones, revisa si hay consistencias al afirmar que pedro es culpable.
Haz una anlisis similar para Juan y Daniel.
Quin mat a Felipe?_________________
Como habrs observado en tu anlisis, una vez que uno parte de ciertas suposiciones, es
cuestin de aplicar algunas reglas para justificar claramente si una conclusin es vlida o
no. Pero es necesario tener presente que la validez de la conclusin que se obtenga,
depende de la validez de las premisas. Esto es la esencia de la lgica y toda ciencia nec
esita de la lgica cuando quiere justificar las relaciones que establece
entre los objetos o fenmenos que estudia.

2. Tres seores ya jubilados: Tancredo, Ubaldo y Venancio, en muestra de caballerosidad,

se ofrecieron para arreglar el armario, la puerta y la ventana en la casa de la nueva, bella
y joven vecina. Al terminar cada uno dej olvidada una herramienta (lima, martillo, o
pinza) en un lugar de la casa (bao, cocina o jardn). Deduce qu repar cada uno y
dnde dej olvidada la herramienta sabiendo lo siguiente.
-

El vecino que vive a la izquierda de la nueva vecina arregl la puerta; el de derecha

olvid el martillo y el de enfrente dej algo en la cocina.
Ubaldo, que olvid la pinza, vive enfrente de la casa de Tancredo, que repar la
ventana.
Alguin dej una lima en el bao.

Vecino

Repar

Olvid

en

3.Existen tres cuevas A, B y C; en una de ellas est una princesa, en otra hay un dragn
y
la tercera est vaca; slo el letrero donde se encuentra la princesa es verdadero, los
letreros en cada cueva son:
A
B
C
La cueva C est vaca
El dragn est en esta cueva La cueva de en medio
est
vaca
En cul cueva est la princesa?
4.Enrique, Luis y Pedro difieren en su estado de salud, sus apellidos son: Colina,
Gonzlez y Morales, pero no necesariamente en ese orden. Luis no es tan sano como
Enrique y Pedro es ms sano que Luis, pero menos que Enrique. Por otra parte, Colina
es ms sano que Gonzlez, cul es el nombre completo del menos sano?
5. Determinar cul de las siguientes frases son proposiciones, tipo de proposicin.
Formalizar las proposiciones y proporcionar los valores de verdad.
a. Tmate dos aspirinas
b. 4+2=5 o 2 es mltiplo de 5.
c.

89

+ 1 es un nmero impar.

d.
e.
f.
g.
h.
i.
j.
k.
l.

Me duele la cabeza.
Si la tierra es plana entonces 3+3=6.
2 es un nmero primo y 9 es un nmero par.
Cunto aos tienes?.
XY = YX
Hoy es lunes si y solo si maana es martes.
El caf es agradable a menos que se le aada azcar.
Ganar la carrera solo si corro ms a prisa.
Que dos lados de un tringulo sean iguales es una condicin necesaria para que el
tringulo sea issceles.
m. Si gana el Amrica o el Cali y si pierde el Barcelona, ganar algn premio, pero si el
Amrica o el Cali no ganan, no cobrar nada.
6. Formalizar las siguientes proposiciones:

a. Si no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz,

entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y
pido prestado, entonces no podr pagar la deuda, si solo si soy desorganizado
b. La crisis mundial afecta a los pases de bajos recursos econmicos pero los
analistas en economa buscan soluciones, a pesar de que la crisis mundial no
afecta a los pases de bajos recursos.
7.
a.
b.
c.
d.
e.
f.

Negar:
[~(pq) ^ (r s)]
[(h ^ p) (m s)]
[~(k m ) (p ~r)]
Estudio o trabajo.
Hay invierno y no siento frio.
Viajare a Cali si y solo si le pagan.

8. Sabiendo que p es (v), q es (f) y r es (f), determinar el valor de verdad de las

siguientes proposiciones:
a.
b.
c.
d.

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

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

CONECTIVA LGICA
NEGACIN

CONJUNCIN

EXPRESION EQUIVALENTE
No, jams, nunca, tampoco
No es cierto que, No se da el
caso que, No ocurre que, Es
absurdo que, Es falso que,
No es verdad que, Es
imposible que, Es inadmisible
que, No es posible que.

OPERADOR LGICO
~

Y ; e; pero; sin embargo;

^
adems; aunque; no
obstante; a pesar de; a la
vez; aun; tambin; tanto;
igualmente
DISYUNCIN INCLUSIVA
O; u; y/o; salvo que; excepto
V
que
DISYUNCIN EXCLUSIVA
o... o ... ; o bien ... o bien ...

CONDICIONAL
Si..., entonces...; Si...

O
implica...; Si... por
IMPLICACIN
consiguiente...; Si... luego...;
Si... de manera que...; Si...
por lo tanto...; Si... porque...;
Si..., dado que...; Sipuesto
que; Siya que; Si
cada vez que.
BICONDICIONAL
... si y slo si...;... es
;
equivalente...;... siempre que
y slo cuando...;... se define
como...;... si de la forma...;...
es idntico...;
RESUMEN DE LOS PRINCIPALES CONECTIVOS LGICOS