Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lógica proposicional
p: n es un número par.
q: m es un número impar.
r: n + m es par.
p ⇒ r.
(¬q ∧ p) ⇔ r.
r ⇒ p.
r ∨ ¬p.
(p ∧ q) ⇔ r.
a) Si 4 es par, entonces 1 ≥ 0.
b) 2 + 3 = 5 si 1 + 1 ≤ 3.
c) Si 4 es impar, entonces 1 es mayor que 0.
1
d ) Si 1 + 1 es menor que 3, entonces 2 = 4.
a) p ∧ q.
b) p ∨ q.
c) q ⇒ p.
a) p ∨ ¬p.
b) p ⇒ (p ∨ q).*
c) (p ∨ q) ⇒ p.*
d ) (p ∧ ¬q) ⇒ r.
e) (p ⇒ q) ∧ [(p ∨ ¬q) ⇒ (p ∧ q)].
f ) p ∧ q ⇒ p.*
g) p ⇒ (p ∧ q).*
h) (p ⇒ q) ⇔ (q ⇒ p).*
i ) [(p ∨ q) ∧ r] ⇒ (p ∧ q).
*Los resultados obtenidos en los ı́tems (b), (c), (f), (g) y (h) son importantes, pues serán de gran
utilidad en otras ocasiones.
a) (p ∧ q) ∨ (p ∧ ¬q).
b) (p ∧ r) ∨ [p ∧ (¬q ∧ r)].
c) p ∨ [¬p ∧ (p ∨ q)] ∨ (q ∧ r).
8. Indicar para qué valores de verdad de p y q resulta verdadera la proposición compuesta (p ⇒ q)∧
(¬q ⇒ p).
a) p ∧ (q ∨ r) sea verdadera.
b) p ∧ (q ∨ r) sea falsa.
c) p ∨ (q ∧ r) sea verdadera.
d ) p ∨ (q ∧ r) sea falsa.
e) p Y (q ∧ r) sea verdadera.
f ) p Y (q ∧ r) sea falsa.
g) (p ∨ q) ⇒ (p Y r) sea verdadera.
h) (p ∨ q) ⇒ (p Y r) sea falsa.
i ) ¬p ⇒ ¬q sea verdadera.
j ) ¬p ⇒ ¬q sea falsa.
k ) p ⇔ (¬q ∨ r) sea verdadera.
l ) p ⇔ (¬q ∨ r) sea falsa.
10. Clara, Luisa, Marı́a y Nélida son cuatro mujeres que aman sus trabajos. Ellas trabajan como
diseñadora de moda, florista, jardinera y directora de orquesta. Cada mujer tiene un solo trabajo,
y cada trabajo es ocupado por una sola mujer. Con las siguientes pistas, encontrar el trabajo
realizado por cada mujer:
2
a) Clara es violentamente alérgica a las plantas.
b) Luisa y la florista comparten el departamento.
c) A Marı́a y Luisa les gusta solamente la música rock.
d ) La jardinera, la diseñadora de modas y Nélida no se conocen entre sı́.
11. Cuatro mujeres estaban sentadas en una mesa redonda en el bar donde se reunı́an todos los
martes. De repente Silvia dijo: “Una de ustedes me envenenó” y cayó muerta. Inmediatamente
un inspector de la policı́a les tomó declaración, cada una de las mujeres hizo 3 afirmaciones.
Cada mujer hizo dos afirmaciones verdaderas y una falsa.
a) Viviana declaró:
Yo no lo hice.
Estaba sentada al lado de Marı́a.
Hoy nos atendió el camarero de siempre.
b) Laura declaró:
Yo estaba sentada frente a Silvia.
Hoy nos atendió un camarero nuevo.
El camarero no la envenenó.
c) Marı́a declaró:
Laura no la envenenó.
El camarero la envenenó.
Viviana mintió cuando dijo que el camarero es el de siempre.
Sabiendo que el envenenador está entre Viviana, Laura, Marı́a y el camarero ¿Quién fue?