2. Antes de hablar de predicado debemos sabes que es una función
proposicional.
Consideramos una función proposicional (A, P(x)) con dominio un conjunto
A.
Al reemplazar la variable x de p(x) por elementos de A obtenemos
proposiciones verdaderas o falsas. Nos preguntamos ¿para cuántos
elementos de A, P(x) es verdadera?. Como posible respuestas tenemos:
Para todos los elementos de A.
Para algunos elementos de A.
Para ningún elemento de A.
Función
proposicional.
Los términos Todos , Algunos, Un Solo, y
Ninguno, por indicar cantidad, son llamados
cuantificadores. De estos, los fundamentales son
todos, algunos y, como caso particular de este
ultimo, un único
3. En calculo de
predicados usamos
unos cuantificadores,
estos son:
Cuantificador
Universal
Cuantificad
or
Existencial
Cuantificad
or
Existencial
de unicidad
Ejemplo: Las palabras
todo, cada uno, todos y
ninguno
Ejemplo: Las palabras
hay y al menos uno
4. Ejemplo más detallado:
a) Pedro es amigo de todos.
∀xA(p, x)
b) Algunos son amigos de Pedro
∃xA(x, p)
c) Todos son amigos de todos.
∀x∀yA(x, y)
Sabiendo que:
D = las personas A(-,-): - es
amigo de-
Gracias