logica de predicados

Lógica Predicativa
Definición
Este tipo de lógica, tambien conocida como lógica categórica, usa predicados para expresar ciertas cosas, a diferencia de la lógica proposicional en la predicativase hacen uso de los cuatificadores, los mas conocidos son el existencial (∃) y el universal (∀).
Explicación
En las actividades diarias humanas como los juegos en general, se suelen seguir reglasque son llamadas estrategias. Estos procesos en los juegos son sutiles, ya que son actividades que todos  conocemos y el objetivo es tener el mejor resultado posible dentro de un juego dependiendo delos distintos resultados que el juego tiene.
~
~ P
˄
~ Q
→
P
˅
Q
1
0
0
0
1
1
1
1
1
0
0
1
1
1
1
0
1
1
0
0
1
0
1
1
0
1
1
1
1
0
0
0

P
→
Q
↔
~P
˅
Q
1
1
11
0
1
1
1
0
0
1
0
0
0
0
1
1
1
1
1
1
0
1
0
1
1
1
0







Variables individuales
Definición
Una variable es libre en una fórmula si no tiene ninguna ocurrencialigada en la misma.
Explicación
la variables v es libre, puesto que no tiene ninguna ocurrencia ligada. Sin embargo, la x presenta una ocurrencia ligada, ya que g(x) cae dentro del radio de accióndel cuantificador”
ejemplo
" x [P(g(x)) Ú R(a)] ® [f(a, v) Ù Q(b Ú c)]
Constantes individuales
Definición
Las constantes individuales son símbolos que se usan para representar nombres propios,como, por ejemplo, `Alberto´, `Benito´, `Carlos´, `Everest´, `3´,” ” etc., para la cual se usan letras minúsculas del alfabeto (`a´, `b´, `c´, etc.)”
Explicación
Los operadores modales sonconstantes lógicas que se caracterizan por calificar el valor de verdad de las proposiciones. Por ejemplo, considérese la proposición "Ana siempre está cansada". En esta proposición, la expresión "siempre"califica la verdad de la proposición más simple "Ana está cansada", como una verdad que se sostiene en todo momento
Ejemplo
" x [P(g(x)) Ú R(a)] ® [f(a, v) Ù Q(b Ú c)]
Predicados
Definición
un...