1. El razonamiento p→ q, q → r ⇒ p → r es correcto porque:
a) La fbf ¬(p→ q) ∧ ¬(q → r) ∧ (p → r) es tautología
b) La fbf p→ q es una tautología
c) La fbf (p→ q) ∧ (q → r) ∧ (p → r) es contradicción
d) La fbf ¬(p→ q) ∨ ¬(q → r) ∨ (p → r) es tautología
2. Para demostrar que el razonamiento P1, P2, P3 ⇒ Q es correcto:
a) Es suficiente con que la fbf Q sea tautología
b) Es necesario que la fbf Q sea tautología
c) Es necesario que la fbfs premisas sean tautologías
d) Un argumento es correcto sólo si la fbf Q es tautología
3. Si el razonamiento P1, P2, P3 ⇒ Q es correcto, podemos afirmar que :
a) El conjunto C={ P1, P2, P3, Q} es contingente
b) El conjunto C={ P1, P2, P3, ¬Q} es consistente
c) El conjunto C={ P1, P2, P3, Q} es insatisfacible
d) El conjunto C={ P1, P2, P3, ¬Q} es insatisfacible
4. El método de Davis-Putnam se utiliza para :
a) Determinar el número de interpretaciones de una fbf
b) Normalizar fbfs del lenguaje proposicional
c) Determinar cual es el valor semántico de una fbf
d) Obtener la FNC de una fbf proposicional.
5. ¿Cuál de las siguientes fbf puede ser la conclusión de un conjunto de premisas vacío?
a) P(a,b,c) ∨ Q(a,b,c)
b) P(a,b) ∨ ¬P(b,c)
c) Ninguna fbf puede deducirse de un conjunto de premisas vacío
d) P(a,b,c) ∨ ¬P(a,b,c) ∨ Q(a,b)
6. Para demostrar que una conjunción de cláusulas es tautología:
a) Es necesario que cada cláusula sea una tautología
b) Es suficiente con que al menos una cláusula sea tautología y las demás sean
contingentes
c) Una conjunción de cláusulas no puede ser tautología, sólo contradicción
d) Es necesario que todas las cláusulas tengan un literal afirmado
7. Para demostrar que la fbf A: C1 ∨ C2 ∨ … ∨ Cn, n>=1, con Ci conjunciones elementales,
es contradicción:
a) Es necesario que todas las Ci sean contingentes
b) Es suficiente con que al menos una conjunción elemental sea contradicción
c) Es necesario que cada Ci sea contradicción
d) Una disyunción de conjunciones nunca puede ser contradicción
8. Dadas las sentencias:
“A menos que me regales un anillo o bombones, no me caso contigo. Como me has
regalado bombones”.
¿Qué sentencia es consecuencia lógica de ellas?
a) Me caso contigo y me como los bombones
b) Si no me regalas el anillo ni los bombones no me caso contigo
c) Me caso contigo sólo si me regalas el anillo o te pones cariñoso
d) Ni me caso ni me como los bombones
9. En la sentencia:
S1: “Para que salgan el hombre lobo o drácula es necesario que haya luna llena”
interpretamos “no hay luna llena” como verdadera ¿Qué sentencia debemos interpretar
también como verdadera para que S1 sea verdadera?
a) Ni sale el hombre lobo ni drácula
b) Sale el hombre lobo o drácula
c) No sale el hombre lobo pero si sale drácula
d) Salen los dos
10. La fbf Q es consecuencia lógica de un conjunto de fbf P ={P1,…,Pn} cuando:
a) Alguna interpretación que es un modelo de P es también un modelo de Q
b) Toda interpretación que es un modelo de P es también un modelo de Q
c) Toda interpretación que es un modelo de P es un contramodelo de Q
d) Algunas interpretaciones son contramodelos de P y de Q