EL LENGUAJE DE LA LGICA PROPOSICIONAL: FORMALIZACIN (1) ARACNE

(Mara Manzano)
Alumn@

1. Elegid la formalizacin adecuada (y/o sus equivalentes, si las hubiera).

(a) Si Pedro juega al badminton (p), Quiteria tambin (q)

(b) Pienso (p), luego existo (q)
(c) No pienso, luego existo.
(d) El fuego (p) es la causa del humo (q)
(e) El fuego siempre produce humo.
(f) Slo si Pedro juega al badminton, juega Quiteria.

pq qp p q q p p q q p * Ninguna
a
b
c
d
e
f

2. Elegid la formalizacin adecuada (y/o sus equivalentes, si las hubiera).

(a) Pedro ir al dentista (p), tanto si quiere (q) como si no quiere.

(b) La magia del cuento se revela (p) slo cuando Pinocho miente (q) o Blancanieves muerde la
manzana (r)
(c) El certificado tiene validez (p), si est firmado por el director del departamento (q), o por el
tutor del proyecto (r)
(d) La inflacin aumentar (p), a menos que baje la emisin de moneda (q) u ocurra un milagro
(r).
(e) Aristteles, que era un filsofo genial (p), sostiene que si el mundo es eterno (q), entonces el sol
gira (r)
(f) Leer a Proust (p), si me voy de vacaciones (q) y encuentro sus libros en oferta (r)

(q r) p p (q r) p (q q) p (q r) (q r) p p (q r)
a
b
c
d
e
f
p (q r) Ninguna de las anteriores
a
b
c
d
e
f

1
3. Elegid la formalizacin adecuada (y/o sus equivalentes, si las hubiera).

(a) Excepto cuando llueve (p), siempre que hay nubes (q) la temperatura sube (r) cuando sopla el
levante (s).
(b) Si la enseanza de la religin en la escuela (p) fuera esencial para mantener la salud moral de
la sociedad (q), entonces la tasa de criminalidad aumentara (r) si se suprimiese la enseanza de la
religin y no se ensease tica (s)
(c) Si el mal existe en el mundo (p) y no se origina en las acciones de los seres humanos (q),
entonces Dios no quiere (r) o no puede (s) impedirlo.
(d) Solamente P , Q y R estuvieron en la tienda de Mc Gregor el da del robo y al menos uno es culpable.
usa p, q, r para indicar, respectivamente P es culpable, Q es culpable, etc.
(e) Si hay al menos dos culpables, entonces P es uno de ellos. (Los sospechosos son P , Q y R)
(f) Hay exactamente dos culpables. (Los sospechosos son P , Q y R)

((p q) r) q ((s p) r) (p q) (r s) (p q) (p r)
a
b
c
d
e
f
((p q) (q r) (p r)) (p q r) (p q) (s p r) (p q) r Ninguna
a
b
c
d
e
f