FORMALIZACIÓN (1)

EL LENGUAJE DE LA LÓGICA PROPOSICIONAL: FORMALIZACIÓN (1)
ARACNE
(María Manzano)
Alumn@
1. Elegid la formalización adecuada (y/o sus equivalentes, si las hubiera).
(a) Si Pedro juega al badminton (p), Quiteria también (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) Sólo si Pedro juega al badminton, juega Quiteria.
a
b
c
d
e
f
p→q
q→p
p → ¬q
q → ¬p
¬p → ¬q
¬q → ¬p
* Ninguna
2. Elegid la formalización 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) sólo 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 inflación aumentará (p), a menos que baje la emisión de moneda (q) u ocurra un milagro
(r).
(e) Aristóteles, que era un filósofo 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)
a
b
c
d
e
f
a
b
c
d
e
f
(q ∨ r) → p
p → (q ∨ r)
¬p → ¬(q ∨ r)
p → (q ∨ ¬q)
p ∧ (q → r)
Ninguna de las anteriores
1
(q ∧ r) → p
p → (q ∧ r)
3. Elegid la formalización 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 enseñanza de la religión en la escuela (p) fuera esencial para mantener la salud moral de
la sociedad (q), entonces la tasa de criminalidad aumentaría (r) si se suprimiese la enseñanza de la
religión y no se enseñase é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 día 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)
a
b
c
d
e
f
a
b
c
d
e
f
((p ∨ q) ∨ r)
q → ((s ∧ ¬p) → r)
(p ∧ ¬q) → (r ∨ s)
((p ∧ q) ∨ (q ∧ r) ∨ (p ∧ r)) ∧ ¬(p ∧ q ∧ r)
(p ∧ q) ∨ (p ∧ r)
(p → q) → (¬s ∧ ¬p → r)
2
(p ∧ q) ∧ ¬r
Ninguna