¿Qué simboliza el cuantificador universal (∀)?

• Existe al menos uno

• Para todo

• No existe ninguno

• Exactamente uno

El cuantificador existencial (∃) significa:

• Para todos

• Ninguno

• Existe al menos uno

• Siempre

La expresión "∀x P(x)" se lee como:

• Para todo x, P(x) es verdadero

• Existe algún x para que P(x) sea verdadero

• No existe x tal que P(x) sea verdadero

• P(x) es falso para algún x

La expresión "∃x P(x)" se interpreta como:

• Para todo x, P(x) es falso

• Existe al menos un x tal que P(x) es verdadero

• Para todo x, P(x) es verdadero

• No existe x que cumpla P(x)

¿Cuál es el cuantificador que afirma la existencia de al menos un elemento?

• Cuantificador universal

• Cuantificador existencial

• Negación

• Condicional

¿Cuál cuantificador se usa para afirmar que una propiedad es cierta para todos los elementos de un conjunto?

• Existencial

• Universal

• Negación

• Disyuntivo

La frase "Para todo número natural n, n + 1 > n" se representa con:

• ∃n (n + 1 > n)

• ¬∀n (n + 1 > n)

• ∀n (n + 1 > n)

• ∃n (n + 1 ≤ n)

¿Cómo se lee "¬∃x P(x)"?

• Para todo x, P(x) es falso

• No existe ningún x para que P(x) sea verdadero

• Existe algún x para que P(x) es falso

• P(x) es verdadero para todo x

¿Qué expresión representa "No todos los elementos cumplen P(x)"?

• ¬∀x P(x)

• ∀x ¬P(x)

• ∃x P(x)

• ¬∃x P(x)

Si queremos afirmar "Existe un número par mayor que 2", usamos:

• ∀x (x es par y x > 2)

• ∃x (x es par y x > 2)

• ¬∃x (x es par y x > 2)

• ¬∀x (x es par y x > 2)