Nombre: Danna Loriand Espejo Diaz

Ficha: 2292078
CURSO MATEMATICAS

TALLER 2 – Tablas de Verdad

1. Si la proposición p es verdadera ( V ) y la proposición q es verdadera ( V ) . De las

expresiones siguientes ¿Cuál (es) es (son) correcta(s)? :

a) p ⇒q = V Es Correcto b) p ∧ q = F Es Incorrecto c) p v q = F Es Incorrecto

d) ∼ p ∧ q = V Es Incorrecto

2. Ejercicio Construya las tablas de verdad para cada una de estas fórmulas e indique
si es tautología, Falacia o Indeterminada.
• (p ∨ ¬q) → q
es Tautología
p q p∨¬q (p∨¬q) ⇒q

V V V V

V F V F

F V F V

F F V F

• (p ∨ q) → (p ∧ q)
es Indeterminada
p q (p ∨ q) → (p ∧ q)
v v V
v f F
f v F
f f V

• (p → q) ↔ (¬q → ¬p) SE HIZO EN CLASE

 3. Muestre si las siguientes son o no equivalencias: (Símbolo equivalencia ≡)

• p ↔ q ≡ (p → q) ∧ (q → p) SE HIZO EN CLASE
• p ↔ q ≡ ¬p ↔ ¬q
p q p ↔ q ≡ ¬p ↔ ¬q
V V VVV FVF
V F VFF FFV
F V FFV VFF
F F FVF VVV

4. Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e
indique si son válidos (tautologías) o no.

[Los ejercicios están tomados de la excelente introducción a la lógica proposicional de

Eulalia Pérez Sedeño.
Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI de España Editores, 1991.]

a) Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo
o Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a
Luxemburgo. Por consiguiente, María no se queda en Venecia.
SE HIZO EN CLASE

b) Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor
que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra,
Júpiter es mayor que Plutón.
Luna mayor: p
Tierra mayor: q
Júpiter mayor: r

• (p → q) & (q → r) → (p → r)

(p → q) & (q → r) → (p → r)
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V V V F V V V F V V
F V V V F V F V F V F