LOGICA DE ENUNCIADOS

EJERCICIOS
1. ¿Cuál de los tres enunciados siguientes no puede formalizarse en lógica de enunciados del mismo
modo que los otros dos? ¿Por qué?
(a) Luis y Ricardo son comuneros
(b) Luis y Ricardo son parientes
(c) A Luis y Ricardo les gusta beber
 
2. Inténtese representar los siguientes enunciados con variables de enunciado y conectivas lógicas.
(a) Si esto es verano, que venga Dios y lo vea
(b) Los limones son bonitos pero amargan
(c) Puedes si quieres
(d) Vendrá hoy o mañana, pero no más tarde
(e) Si no existen ni Dios ni el demonio, es difícil ser religioso
(f) Echa al gato o me voy
 
3. Indique los valores de verdad de las siguientes expresiones compuestas partiendo del supuesto de
que p y q son verdaderos y r es falso.
 
(a)  p       
(b)  (p & r)
(c)  (p v q)
(d) p v (q & r)
(e) r  ((q & r) v (p v q))
(f) r  (p & r)
 
4. ¿Qué expresiones, entre las siguientes, son tautologías?
 
(a)  (p &  p) 
(b) (p v q)  p
(c)  (p&q)  -p v  q
(d)  ((p  q)  (p   q))
(e) (p   q) v (q   p)
(f) ((p  q)   p)   q)
(g) (p & q) v (p   q)
(h) (p v (q & r))  ((p v q) & (p v r))
 
5. ¿Puede considerarse función de verdad la conectiva porque? Razónese la respuesta.
 
8.   Determinar, por razonamiento indirecto, si las siguientes ex presiones son tautologías.
 
(a) p  (q  (r  (s  (t  p))))  
(b)  (( q) & (q  r))  (p  r)
(c) (p & (q  r))  ((p & q)  r)