1. Un supuesto provisional es:
a) Una subdeducción que infiere una nueva fbf
b) Un método para determinar si una fbf es tautología
c) Una deducción que demuestra que una fbf es contradicción o tautología
d) Un paso del método del Cuadro
2. Dadas las sentencias: “ Javi juega al mus o al Chinchón, pero no a ambos; Javi no juega
al mus a menos que María también juegue; Sin embargo, María juega al mus sólo si Javi
juega” ¿ ¿Qué sentencia podemos deducir?
a) María no juega al mus.
b) María si juega al mus.
c) Si Javi juega al Chinchón, María juega al mus
d) Si María juega al mus entonces Javi juega al Chinchón o al mus
3. En D={Universidad} definimos S1: “No existen alumnos traviesos”. Con los predicados
Tr(x): x es travieso; Al(x): x es alumno. ¿cuál de las siguientes fbf podemos deducir de
S1 si nos aseguran que “no hay alumnos”?
a) Sólo se deduce esta fbf: ∀x[¬Al(x) ∨ Tr(x)]
b) Sólo se deduce esta fbf: ∀x[Al(x) → ¬Tr(x)]
c) Se deducen a) y b)
d) No se deduce ni a) ni b)
4. Dada la fbf ∀x[A(x) → B(x)] ¿Qué fbf podemos deducir si D={a}?
a) A(a)
b) B(a)
c) ∃xA(x) → ∃xB(x)
d) ∀xB(x) → ∀xA(x)
5. En D={a}, definimos la fbf : ∀x[A(x) → B(x) ∨ C(x)] ¿Qué fbf podemos deducir?
a) A(a)
b) ∃xA(x) → ∃x[B(x) ∨ C(x)]
c) ∀x[B(x) ∨ C(x)]
d) Ninguna de las tres
6. Dadas las fbfs: P1: ∀x∀y[Q(x,y) → ¬R(x,y)], P2: ∀xQ(x,x) ¿Qué fbf podemos deducir si
x, y ∈ D = {a,b}?
a) ¬R(a,b)
b) ¬R(x,y)
c) Q(a,b)
d) ¬R(a,a)
7. Dadas las fbfs: P1: ∀x[P(x) → Q(x)], P2: ¬∃xQ(x) ¿Qué fbf podemos deducir?
a) P(a)
b) ¬P(a) ∧ ¬Q(a)
c) P(b)
d) P(a) ∧ Q(a)
8. Dadas las fbs: P1: ∀x[A(x) → Q(x,b) ∧ R(x)], P2: ∃xQ(x,b), P3: ∃xA(x) ¿Qué fbf podemos
deducir?
a) ∀xA(x)
b) Q(a,b) ∧ R(a)
c) ∃x(Q(x,b) ∧ R(x))
d) Q(a,b) ∨ A(a)
9. Dadas las sentencias:
P1: Todas las modelos que saben desfilar le gustan a Carlos.
P2: A Carlos no le gusta Sara si ésta es actriz pero si no lo es, Sara besará a Carlos
apasionadamente.
P3: Por desgracia, nadie besa a Carlos apasionadamente.
¿Qué sentencia podemos deducir?
a) Sara no sabe desfilar
b) Sara besa a Carlos apasionadamente si Pilar le deja hacerlo
c) Sara es modelo
d) O Sara no es modelo o no sabe desfilar
10. Dadas las fbfs: P1: ∀x(Pi(x) → ¬Ca(x)). P2:∃x(Ca(x) ∧ Pe(x))
¿Qué fbf podemos deducir?
a) Ca(a) ∧ Pe(a)
b) ∃x [Pi(x) ∧ Pe(x)]
c) ∀x[Ca(x) ∧ Pe(x)]
d) ∃x[¬Pi(x) ∧ Pe(x)]