Logica De Presicados

LÓGICA DE PREDICADOS

Ayuda a expresar adecuadamente las instrucciones complejas en las matemáticas, es la base utilizada para los sistemas expertos, un predicado describe una propiedad de los objetos, o una relación entre los elementos.

Los predicados pueden tener varias variables, que son esencialmente funciones con argumentos funciones con argumentos.

Por ejemplo

 persona (x) dice x es una persona  masculina (x) dice x es un hombre

Las relaciones entre predicados se crean utilizando los operadores.

Persona (x)  hombre(x) o mujer (x)

Se lee

Si x es una persona, entonces x es un hombre o una mujer.

Dos cuantificadores se utilizan comúnmente:

Cuantificador universal (∀) – Significa para todos, para cada.

Cuantificador existencial (∃) significa que no existe.

EXPRESIONES EN TÉRMINO DE CUANTIFICADORES Y CONECTIVOS LÓGICOS

Por ejemplo

Ningún alumno de su escuela puede hablar ruso o conoce a C + +.

Esta frase está afirmando la inexistencia de cualquier persona, ya sea con el talento:

(∃x) (P(x) o Q(x))

Alternativamente, se puede pensar que todo el mundo deja de tener cualquiera de estos talentos, por lo que obtener el equivalente a :

(∀x) (P(x) p Q (x))

Al no tener ya sea el talento es equivalente a tener ni el talento

(Por la ley de De Morgan):

(∀x) ((P(x) y (Q(x)))

...