Cuantificador Universal

Actividad.
1. ¿Que es cuantificador universal y cuantificador existencial de ejemplos?
Los cuantificadores:
- Cuantificador universal (para todo). El cuantificador universal permite referirse atodos los individuos del universo del discurso.
- Cuantificador existencial (existe). El cuantificador existencial permite referirse a algunos de los individuos del universo del discurso.
Lasvariables, también pueden ser cuantificadas. Los cuantificadores que típicamente se utilizan en lógica de predicados son:
El cuantificador universal; " indica que la fórmula bien formada, dentro de sualcance, es verdadera para todos los valores posibles de la variable que es cuantificada. Por ejemplo:
“X. . . .
Establece que "para todo X, es verdad que. . . "
El cuantificador existencial; $, indicaque la fórmula bien formada, dentro de su alcance, es verdadera para algún valor o valores dentro del dominio. Por ejemplo:
$ X. . . .
Establece que "existe un X, tal que. . . "
A continuación sedan algunos ejemplos de predicados cuantificados:
“X, [niño (X) => le_gusta (X, helados)].
“Y, [mamífero (Y) => nace (Y, vivo)].
$ Z, [cartero(Z) ^ mordió (boby, Z)].
Desde el punto vista derepresentación, los cuantificadores son difíciles de usar. Por lo que es deseable remplazarlos con alguna representación equivalente, más fácil de manipular. El caso del cuantificador universal esmás simple ya que se asume a todas las variables como universalmente cuantificadas.
El cuantificador existencial es más difícil de remplazar. El cuantificador existencial garantiza la existencia de unoo más valores particulares (instancias) de la variable cuantificada, que hace a la cláusula verdadera. Si se asume que existe una función capaz de determinar los valores de la variable que hace lacláusula verdadera, entonces simplemente se remueve el cuantificador existencial y se remplaza las variables por la función que retorna dichos valores. Para la resolución de problemas reales, esta...