Test: Test-21-18

Predicados con términos variables y cuantificadores

Pregunta 1 (2.0 puntos)

Marque las fórmulas con variables libres

∃x(Px∨Qy)

∃x∃y(Px∨Qy)

∃xPx∨∀yQy

∃xPx∨∀xQy

Pregunta 2 (2.0 puntos)

Marque las fórmulas con variables libres

∃x(∀yRxy→Qy)

∃x(∀yRxy→Qx)

∃x∀y(Px→Qy)

∃x∀yPx→Qy

Pregunta 3 (2.0 puntos)

Marque las secuencias que recorren una rama del árbol sintáctico (desde su raíz hasta alguna subfórmula
atómica) de:
∀x(∃yRxy∧(∀zQzx∨Rax))

∀x,∃y,Rxy

∀x,∧,∨,∀z,Qzx

∧,∀x,∃y,Rxy

∀x,∧,∨,Rax

Pregunta 4 (2.0 puntos)

Marque las fórmulas que se pueden decidir verdaderas o falsas sólo con la información de la siguiente
interpretación: universo U={1,2,3}, con P=Q={2},R=S={(2,3)},a=1

∀x((Px∨Qx)→(Rxa∧Syx))

∀x∃y((Px∨Qa)→(Rza∧Syx))

∀x((Px∨Qx)→∃zRxz)

(∀x(Px∨Qx))→(Rxa∧Syx)

Pregunta 5 (2.0 puntos)

Si interpretamos sobre un universo de 1000 elementos, U={1,…,1000}, entonces (y visto como un
proceso), para afirmar que ...

para confirmar positivamente que ∀xPx es verdadero, tenemos que finalizar las mil comprobaciones
del tipo '¿este elemento pertenece a P?'

para confirmar que ∀xPx es falso, tenemos que finalizar las mil comprobaciones del tipo '¿este
elemento pertenece a P?'
 para confirmar que ∃xPx es verdadero, tenemos que finalizar las mil comprobaciones del tipo '¿este
elemento pertenece a P?'

para confirmar que ∃xPx es falso, tenemos que finalizar las mil comprobaciones del tipo '¿este
elemento pertenece a P?'

Test: Test-21-18
Predicados con términos variables y cuantificadores

Pregunta 1 (2.0 puntos)

Marque las fórmulas con variables libres

∃x(Px∨Qy)

∃x∃y(Px∨Qy)

∃xPx∨∀yQy

∃xPx∨∀xQy

Pregunta 2 (2.0 puntos)

Marque las fórmulas con variables libres

∃x(∀yRxy→Qy)

∃x(∀yRxy→Qx)

∃x∀y(Px→Qy)

∃x∀yPx→Qy

Pregunta 3 (2.0 puntos)

Marque las secuencias que recorren una rama del árbol sintáctico (desde su raíz hasta alguna subfórmula
atómica) de:
∀x(∃yRxy∧(∀zQzx∨Rax))

∀x,∃y,Rxy

∀x,∧,∨,∀z,Qzx

∧,∀x,∃y,Rxy

∀x,∧,∨,Rax

Pregunta 4 (2.0 puntos)

Marque las fórmulas que se pueden decidir verdaderas o falsas sólo con la información de la siguiente
interpretación: universo U={1,2,3}, con P=Q={2},R=S={(2,3)},a=1

∀x((Px∨Qx)→(Rxa∧Syx))

∀x∃y((Px∨Qa)→(Rza∧Syx))

∀x((Px∨Qx)→∃zRxz)

(∀x(Px∨Qx))→(Rxa∧Syx)

Pregunta 5 (2.0 puntos)

Si interpretamos sobre un universo de 1000 elementos, U={1,…,1000}, entonces (y visto como un
proceso), para afirmar que ...

para confirmar positivamente que ∀xPx es verdadero, tenemos que finalizar las mil comprobaciones
del tipo '¿este elemento pertenece a P?'

para confirmar que ∀xPx es falso, tenemos que finalizar las mil comprobaciones del tipo '¿este
elemento pertenece a P?'

para confirmar que ∃xPx es verdadero, tenemos que finalizar las mil comprobaciones del tipo '¿este
elemento pertenece a P?'

para confirmar que ∃xPx es falso, tenemos que finalizar las mil comprobaciones del tipo '¿este
elemento pertenece a P?'