1. Dada la sentencia: “No llueve en Alicante a menos que cantes en la ducha”
¿Cuál de las siguientes sentencias dice lo mismo?
a) Para que llueva en Alicante es suficiente con que cantes en la ducha
b) Si cantas en la ducha, llueve en Alicante
c) Si llueve en Alicante entonces cantas en la ducha
d) O no llueve en Alicante o no cantas en la ducha
2. Con el marco conceptual: lo: estudiar lógica; di: las clases son divertidas;
La fbf di → lo es la que resulta de formalizar la sentencia declarativa:
a) Es necesario que las clases sean divertidas para estudiar lógica
b) Es necesario y suficiente que las clases sean divertidas para estudiar l
c) Es suficiente con que las clases sean divertidas para estudiar lógica
d) Estudio lógica y las clases son divertidas
3. Con el marco conceptual: po: me gusta el pollo; pe: me gusta el pescado;
La sentencia: “No me gusta el pollo ni el pescado”
Se formaliza en el lenguaje proposicional, como…
a) ¬(po ∧ pe)
b) ¬po ∧ pe
c) ¬po ∧ ¬pe
d) po ∧ pe
4. ¿Cuál de las siguientes expresiones no es una fbf predicativa?
a) p ∧ q ∧ r
b) ∀x∃yR(x,y,z) D={a,b}
c) P(a) ∧ R(¬b,c)
d) P(a)
5. En la fbf-1: ∀x∃yP(x,y,z), las variables “x” e “y” ¿están ligadas?
a) Si, porque “x” está adosada a ∀ e “y” a ∃
b) No, son libres porque “x” está adosada a ∀ e “y” a ∃
c) No, porque la variable “z” no está adosada a ningún cuantificador
d) No, porque necesitan estar definidas en varios predicados
6. La expresión P(x,a,z) ∧ ∀x∃yQ(x,y) ¿es una fbf? ¿por qué?
a) Si, porque es la conjunción de dos fbf
b) No, porque P(x,a,z) tiene variables libres
c) Si, porque la fbf P(x,a,z) tiene una constante en sus argumentos
d) No, porque todas las variables deben estar cuantificadas
Con el marco conceptual Fa(x): x es famoso; Si(x): x es simpático; Re(x): x sale en
las revistas; SH(x): x tiene sentido del humor. Formalizar las siguientes sentencias
en el dominio D = {personas}.
7. La sentencia: S1: “Los famosos son simpáticos”. Se formaliza como…
a) ∀x[Fa(x) ∧ Si(x)]
b) ∀x Fa(x) → Si(x)
c) ∀x [Fa(x) → Si(x)]
d) ∃x (Fa(x) ∧ Si(x))
8. La sentencia: S2: “Nadie que no salga en las revistas es famoso”. Se
formaliza como…
a) ¬∃x [¬Re(x) ∧ Fa(x)]
b) ¬∃x [¬Re(x) → Fa(x)]
c) ∀x [¬Re(x) ∧ Fa(x)]
d) ∀x [¬Re(x) → Fa(x)]
9. La sentencia: S3: “Las personas que salen en las revistas tienen
sentido del humor”. Se formaliza como…
a) ∃x [Re(x) → SH(x)]
b) ¬∃x [¬Re(x) → SH(x)]
c) ∀x [Re(x) ∧ SH(x)]
d) ∀x [Re(x) → SH(x)]
10. La sentencia: S4: “No existe nadie que al mismo tiempo no sea famoso
y no tenga sentido del humor”. Se formaliza como…
a) ¬∃x ¬[Fa(x) ∧ SH(x)]
b) ¬∀x [¬Fa(x) ∧ ¬SH(x)]
c) ¬∃x [¬Fa(x) → ¬SH(x)]
d) ∀x [¬Fa(x) → SH(x)]
11. La sentencia: S5: “Algunas personas son simpáticas”. Se formaliza
como…
a) Si(personas)
b) ∃x Si(personas)
c) ∃x Si(x)
d) ∀x Si(x)
12. La sentencia: Q: “Algunas personas que salen en las revistas son
simpáticas”. Se formaliza como…
a) ∀x [R(x) → Si(x)]
b) ∀x [R(x) ∧ Si(x)]
c) ∃x [Re(x) ∧ Si(x)]
d) ∃x [Re(x) → Si(x)]