logica de predicado

1. lógica de los predicados
Es una extensión de la lógica ya que usan variables para representar los objetos, en
otras palabras se usa valores simbólicos para una representación lógica, entre ellos
existen cuantificadores los cuales son símbolos utilizados para indicar cuántos
elementos de un conjunto dado cumplen con cierta propiedad.
Entre ellos tenemos los Cuantificadores:
Universales que nos indica que algo es cierto para todos los individuos y se
representa con con el símbolo ∀.
Un ejemplo tendríamos que Sea B una expresión y sea x una variable. Si deseamos
indicar que A es verdadero para todos los posibles valores de x, escribiremos (∀x) B.
Existenciales
La cuantificación existencial de P(x) “Es la proposición en que existe un elemento x
en el universo de discurso tal que P(x) es verdad”.
Se denota con el símbolo ∃ x y se lee de las siguientes maneras: “hay un x tal que…)”,
“hay al menos un x tal que…” o “para algún x…”.
Gracias a Ellos podemos realizar la declaración de forma simbólica a valores lógicos.
La lógica proporcional maneja bien las afirmaciones compuestas de no y o si...
En otras situaciones donde tenemos un conjunto pequeño de elementos, es suficiente
para hablar de existe, todo, para todo.
Ejemplo:
Existe un estudiante que afeita a todos los que no se afeitan a así mismos.
∃ x(E(x) ∧ ∀y(¬A(y, y) → A(x, y)))