1. El método del Cuadro sólo evalúa semánticamente fbf
a) Escritas en forma normal disyuntiva
b) Formalizadas con el lenguaje de predicados
c) Escritas en forma normal conjuntiva
d) Escritas en forma normal disyuntiva y conjuntiva
2. El método de Davis-Putnam sólo evalúa semánticamente fbf
a) Escritas en forma normal disyuntiva
b) Formalizadas con el lenguaje de predicados
c) Escritas en forma normal conjuntiva
d) Escritas en forma normal disyuntiva y conjuntiva
3. La fbf A: (p ∧ ¬p ∧ ¬r) ∨ (¬p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ r) ∨ ¬p, se interpreta como:
a) Tautología cuando el literal ¬p se interpreta a verdadero
b) Satisfacible, cuando el literal ¬p se interpreta a verdadero
c) Insatisfacible, cuando el literal ¬p se interpreta a falso
d) Contramodelo, cuando el literal ¬p se interpreta a falso
4. La fbf A: (p ∧ ¬p ∧ ¬r) ∨ (¬p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ r) ∨ ¬p, según el método del Cuadro se
evalúa semánticamente como:
a) No podemos saberlo porque tenemos una conjunción con un literal
b) Contingente, porque tiene interpretaciones modelos y contramodelo
c) Contradicción porque hay una conjunción con dos literales complementarios
d) Tautología para el conjunto de interpretaciones de sus componentes
5. La fbf B: (p ∨ ¬p ∨ r) ∧ (q ∨ ¬q ∨ ¬r) ∧ (p ∨ ¬p) ∧ ¬r, se interpreta como:
a) Contradicción cuando el literal ¬r se interpreta a falso
b) Satisfacible, para cualquier interpretación de ¬r
c) Falsa, cuando el literal ¬r se interpreta a falso
d) Contramodelo, cuando el literal ¬r se interpreta a falso
6. La fbf B: (p ∨ ¬p ∨ r) ∧ (q ∨ ¬q ∨ ¬r) ∧ (p ∨ ¬p) ∧ ¬r, según el método de Davis-Putnam
se evalúa semánticamente como:
a) No podemos saberlo porque tenemos una disyunción con un literal
b) Tautología para el conjunto de interpretaciones de sus componentes
c) Contradicción porque hay disyunciones con literales complementarios
d) Contingente, porque tiene interpretaciones modelos y contramodelo
7. Dado el argumento P1, P2, P3, P4 ⇒ Q aplicando dos veces el Teorema de Deducción
obtenemos:
a) Una estructura de la forma P1, P4 ⇒ P2 → (P3 → Q)
b) Una estructura de la forma P1, P2 → (P3 → Q) ⇒ P4
c) Una estructura de la forma P1, P4 , ⇒ P2 , P3 , Q
d) Ninguna de las anteriores
8. Dado el argumento P1, P2, P3, P4 ⇒ Q su fbf asociada es la siguiente:
a) P1 ∧ P2 ∧ P3 ∧ P4 ∧ Q
b) P1 ∧ P4 ∧ P2 ∧ P3 → Q
c) ¬P1 ∨ ¬P4 ∨ ¬P2 ∨ ¬P3 ∨ ¬Q
d) Ninguna, porque un argumento sólo tiene fbf asociada si ésta es tautología
9. Dada la fbf C: ∀x[A(x) → B(x)] , D={a} Podemos asegurar que:
a) La fbf C’: ∃x[A(x) ∧ B(x)] es equivalente a C
b) La fbf C’’: ¬A(x) ∨ B(x) es equivalente a C
c) La fbf C’’’: ¬∃x[A(x) ∧ ¬B(x)] es equivalente a C
d) La fbf C’V :A(x) → B(x) es equivalente a C
10. Dada la fbf C: ∀xA(x) → ∃xB(x) , D={a,b} Podemos asegurar que:
a) La fbf C’: A(a) ∧ A(b) → B(a) ∧ B(b) es equivalente a C
b) La fbf C’’: [A(a) → B(a)] ∧ [A(b) → B(b)] es equivalente a C
c) La fbf C’’’: ∀x∃x[A(x) → B(x)] es equivalente a C
d) La fbf C’V: A(a) ∧ A(b) → B(a) ∨ B(b) es equivalente a C