Sesión 2: Lógica proposicional

1.Comprueba si las siguientes sentencias son tautologías:

• [(s → (¬r ∧ p)) ∧ (p → (r ∨ q)) ∧ s] → (p ∧ r)

s r ¬r p ¬r ∧ p s → (¬r ∧ q r∨q p → (r ∨ q) (p → (r ∨ q)) ∧ s

p)
V V F V F F V V V V
V F V V V V V V V V
F V F F F V F V V F
F F V F F V F F V F

[(s → (¬r ∧ p)) ∧ (p → (r ∨ q)) ∧ s] (p ∧ r) [(s → (¬r ∧ p)) ∧ (p → (r ∨ q)) ∧ s] → (p ∧ r)]

F V V
V F F
F F V
F F V

No es una tautología

• [(p → (q → r)) ∧ ((r ∧ s) → t) ∧ (¬w → (s ∧ ¬t))] → (p → (q → w))

p q r q→r p → (q → r) s r∧s t ((r ∧ s) → t) (p → (q → r))

∧ ((r ∧ s) →
t)
V V V V V V V V V V
V F V V V V V V V V
F V F F V F F F V V
F F F V V F F F V V

w ¬w ¬t s ∧ ¬t (¬w → (s ∧ ¬t)) (q p (¬w [(p → (q → r)) ∧ ((r ∧ s) → t) ∧ (¬w

→ → → (s → (s ∧ ¬t))] → (p → (q → w))
w (q ∧
→ ¬t))]
w) → (p
→ (q
→
w))

V F F F V V V V V
V F F F V V V V V
F V V F F F V V V
F V V F F V V V V

Sí es una tautología

1
3.Juan necesita un coche o una camioneta. Si Juan necesita un coche entonces Juan necesita
una camioneta

p: Juan necesita un coche

q: Juan necesita una camioneta

p-->q

p q p→q
V V V
V F F
F V V
F F V

a) ¿Puedo asegurar que Juan necesita un coche?

No se puede asegurar que Juan necesite un coche.

b) ¿Puedo concluir que Juan no necesita un coche?

Sí, se puede concluir que Juan no necesite un coche.

c) ¿Puede ocurrir que necesite Juan un coche?

Sí, puede ocurrir que Juan necesite un coche.

d) ¿Necesita Juan una furgoneta?

Juan no necesita una furgoneta en todos los casos.

e) ¿Puedo concluir que Juan no necesita una furgoneta?

Juan puede necesitar una furgoneta.

f) ¿Puede ocurrir que Juan no necesite una furgoneta?

Puede ocurrir que Juan no necesite una furgoneta.

4. Alberto, Bernardo y Carlos son tres compañeros. Cada tarde cada uno de ellos o estudia o
va al cine. Se sabe que:

P: Carlos va al cine

Q: Alberto va al cine

R: Bernardo va al cine

p q p→q qVr p^r p^q

V V V V V V
V F F V F F
F V V V F F
F F V F F F

No es posible que ninguno vaya al cine.

2
5. A un jardinero se le han dado las siguientes normas: En los arriates planta tulipanes si
plantas rosas. Si plantas rosas y tulipanes en el mismo arriate entonces no debes plantar
jazmines. Si se plantan jazmines o no se plantan rosas, entonces no debes plantar tulipanes.
¿Puedes simplificar el encargo usando la lógica de proposiciones?

p: Plantas rosas

q: Plantas tulipanes

r: Plantas jazmines

p q p→q r ¬r (p ∧q) (p ∧q)→ ¬r (rv¬p)→ ¬q ¬p ¬q (rv¬p)

V F F V F F V F F V V
V V V F V V V V F F F
F F V V F F V V V V V
F V V F V F V V V F V