Lógica I

Algunos ejercicios para practicar

Cap. 4 & 5
(1) Traducir al lenguaje de bloques

(1.1)No es el caso que si b es un cubo, c sea un tetraedro grande.

(1.2) a es grande o chico pero no es un tetraedro mediano.
(1.3) a es grande o chico pero no es un tetraedro ni es mediano.
(1.4) a es grande a menos que b sea un dodecaedro mayor que e.
(1.5) a está entre b y c o entre e y d.
(1.6) f está detrás de c sólo si c está entre d y b o c es un cubo chico.
(1.7) b es grande o está a la derecha de f, si c es un dodecaedro mediano.
(1.8) a no es un tetraedro si y sólo si b y c son cubos, a menos que b sea un cubo.
(1.9) b está a la izquierda de b o de c, si no está a la derecha de a ni delante de c
(1.10) a es un cubo si y sólo si es grande, pero no es mediano.

(2) Determinar el valor de verdad de las siguientes oraciones del lenguaje de bloques en el mundo que se
muestra a continuación

(2.1) (Deland(a,b)∨¬Grand(d))→ a=f

(2.2) (Tet(e) ↔ Chico(c))∧ (Grand(d) ∨¬Dodec(b))
(2.3) a=f →( Tet(a)∧ Tet(b))
(2.4)¬(DetrDe(c,e)∧ (Chico(c)→Cub(c)))
(2.5) EsEntre(b,d,c)↔ ¬(Grand(d)∨Deland(a,b))

(3) Usar tablas de verdad para responder las siguientes preguntas

(3.1) ¿Es (a=c) consecuencia tautológica y/o lógica del conjunto de premisas: Grand(a)∨Chico(b);
Grand(a)→(a=c) y Chico(b)→(a=c)?
(3.2) ¿Es MayorQ(a,b) consecuencia tautológica y/o lógica de Grand(a)∧Chico(b)?
(3.3) ¿Es (Tet(a)∧Tet(b)) consecuencia tautológica y/o lógica de( a=b)?

(4)Determinar si las siguientes fórmulas son verdades lógicas, verdades tautológicas, satisfactibles,
insatisfactibles. ¿Hay fórmulas equivalentes?

(4.1) ((a=b) ∧ Tet(a))→Tet(b)

(4.2)( Cubo(b) ∧ Grand(b))∧¬ ( Cubo(b) ∧ Grand(b))
(4.3) ((Cubo(a)∨Median(b))∧MayorQ(a,b))→MayorQ(a,b)
(4.4) MayorQ(a,b) ↔(Cubo(a)∨Dodec(c))
(4.5) (Tet(f)→Grand(f))→((Tet(f)∧Detrad(f,c))→Grand(f))
 Lógica I
Algunos ejercicios para practicar
Cap. 4 & 5
(5)¿Cuáles de las siguientes fórmulas son equivalentes?

(5.1)(p∧q)→q
(5.2) (p→q) ∧ (q→p)
(5.3) p↔q
(5.4) p→q
(5.5) ¬p∨q
(5.6) (pvq) ∨ ¬(p∨q)

(6) ¿Es válido el siguiente argumento? Traducirlo a un lenguaje formal de proposiciones y luego emplear
tablas de verdad para mostrar su validez o invalidez.
Diccionario sugerido:
p: baja la inflación
q: aumenta el desempleo
r: aumenta el déficit fiscal

(6.1) Si baja la inflación, entonces el desempleo aumenta si y sólo si aumenta el déficit fiscal. Pero no es
cierto que el desempleo aumente si y sólo si aumenta el déficit fiscal. Por lo tanto, no baja la inflación.