Escuela de Verano Universidad de Chile

FM1000: Introducción a la Matematica Teorica

Profesor: Rodrigo Chi
Auxiliares: Catalina Domínguez, Nicolás Toro
Ayudantes: Pablo Zúñiga, Javiera Correa

Auxiliar 1
8 de enero de 2018

P1 Determine cuál de las siguientes afirmaciones son proposiciones y determine el valor de verdad
de cada una de ellas que lo sean:

a) p: En Chile existe un premio Nobel de Química

b) q: La Tierra es el único planeta en el universo que tiene vida
c) r: 2 más uno es grande
d ) s: Presione Escape para abrir la pantalla completa
e) t: 25 − 11 6 0
f ) Considerando las proposiciones p y q, p =⇒ q y p ⇐⇒ q son verdaderas cuando p y q son
verdaderas

P2 1. Mediante tablas de verdad, encuentre el valor de verdad de las siguientes proposiciones

a) p =⇒ (p ∨ q)
b) (p ⇐⇒ q) ⇐⇒ (p ⇐⇒ q)
c) ((p ∨ q) ∧ p) ⇐⇒ (q ∧ p) ∨ (r ∧ p)
2. Demuestre usando tablas de verdad que:
a) p =⇒ q es equivalente a (∼ q) =⇒ (∼ p)
b) p ⇐⇒ q es equivalente a (p =⇒ q) ∧ (q =⇒ p)

P3 Sean p,q y r proposiciones. Pruebe, sin usar tablas de verdad, que las siguientes proposiciones
son tautologías:

a) [(p =⇒ q) ∧ (r =⇒ q)] =⇒ (p =⇒ r)
b) [(p ∨ q) ∧ (p ⇐⇒ q)] ⇐⇒ (p ∧ q)