Álgebra Ciencias - 2005 Modalidad Semi-Intensiva

Práctica 1: Lógica

Problema 1. Hacer las tablas de verdad de las siguientes proposiciones (si no las hizo
ya en la teorı́a)
a) p∨ ∼ p
b) (p → q) ∧ (q → p)
c) ∼ (p ↔ q)
d) (p ∧ q) → p
e) p∧ ∼ p

Problema 2. Simbolizar usando proposiciones y conectivos lógicos

a) Es suficiente que Marı́a llame para que José se enoje.
b) Si Pedro no tiene plata y Marı́a tiene dos autos entonces no son pareja.
c) Hoy es viernes solo si ayer fue domingo.
d) Si Juan nació en Milán o en Roma, no es francés.

Problema 3. Analizar la validez de los siguientes razonamientos

a) Si Napoleón usurpó el poder que no le correspondı́a por derecho entonces debe ser
condenado. O Napoleón fue un monarca legı́timo o usurpó el poder que no le correspondı́a
por derecho. Napoleón no fue un monarca legı́timo. Luego, Napoleón debe ser condenado.
b) José tiene una moto o tiene un auto. José no tiene un auto, entonces no tiene cochera.
José no tiene moto. Entonces José no tiene cochera.
c)

p→q
s∨ ∼ q
t∧p
t∧ ∼ s

d)

r↔t
r∨t
t∧ ∼ r

1
Problema 4. Dados los siguientes enunciados, decidir cúales son esquemas proposi-
cionales y definir un universo adecuado en cada caso
a) x es rojo.
b) Lucia es loca.
c) y es una letra de la palabra fútbol.
d) t es un número primo.
e) z es divisible por 7.
f ) x e y son enteros.
g) El sol es una bola de fuego.

Problema 5. Dar constantes que transformen los esquemas del ejercicio anterior en
proposiciones falsas o verdaderas

Problema 6. Dados los esquemas siguientes

a) Establecer un universo adecuado.

b) Anteponer cuantificadores universales y existenciales de forma de transformar los

esquemas siguientes en proposiciones, pasar al lenguaje corriente.
i) x es grande, entonces x es rojo
ii) x es un objeto grande e y es un objeto pequeño
iii) (x − 3 < 7) → (x > 2)

Problema 7. Indicar cuales de los siguientes son proposiciones

a) (∀x)(x es un perro)
b) (∃y)( y es un objeto grande) ∧ (y es un objeto pequeño ∨ x es un objeto verde)
c) (∀x)(x − 3 < 7) → (∃y)(x + y > 34)
d) (∃y)(x − 3y = 8)

Problema 8. Sea p(x) un esquema proposicional, U su conjunto universal y Q el

conjunto de verdad de p(x).
a) ¿Como debe ser Q para que (∀x)p(x) sea verdadera?
b) ¿Como para que (∀x)p(x) sea falsa?
c) ¿Como para (∃x)p(x) sea verdadera?
d) ¿Como para que (∃x)p(x) sea falsa?

Problema 9. Demostrar las siguientes equivalencias (si no las hizo en la teorı́a)

a) p → q ⇔ (∼ q →∼ p)
b) p → q ⇔∼ p ∨ q
c) ∼ (p → q) ⇔ (p∧ ∼ q)
d) p ↔ q ⇔ (q → p) ∧ (p → q)

2
Problema 10. Probar algunas de las siguientes implicaciones lógicas
a) p ∧ (p → q) ⇒ q
b) ∼ q ∧ (p → q) ⇒∼ p
c) (p ∨ q)∧ ∼ p ⇒ q
d) p ∧ q ⇒ q
e) p ∨ p ⇒ p
f ) p ⇒ (p ∨ q)
g) (p → q) ∧ (q → r) ⇒ (p → r)
h) (p ∨ q) ∧ (p → r) ∧ (q → s) → r ∨ s
i) (p ∧ q) → r ⇒ p → (q → r)
j) p → (q → r) ⇒ ((p ∧ q) → r)