Led Predicados

Lógica de Predicados: Sintaxis y Semántica (1/4)
Predicados monádicos con constantes en los términos
En lógica de proposiciones, el conjunto de enunciados {"juan es alto", "isabel es alta", "juan es moreno"} se
representaría como {p,q,r}. La sintaxis no permite anotar que en dos de esos enunciados el sujeto es el
mismo. O que dos de esos enunciados valoran la misma propiedad. Si cada enunciado se representara
con dos símbolos, uno para su predicado y otro para el término (el sujeto) que afecta, ese conjunto de
enunciados se podría representar como {Aj,Ai,Mj}. Aquí sí queda traza sintáctica de que hay repetición
de dos sujetos y repetición de dos propiedades (predicados)
Para aprovechar este nivel de detalle se requiere que la semántica no se limite a asignar, 'de golpe', un
valor de verdad a un enunciado: para obtener si Mj es verdadero en una interpretación ésta tiene que
especificar de qué conjunto de individuos estamos hablando, quiénes tienen la propiedad M en ese
grupo y exactamente quién es el individuo j' en esa interpretación: ¿está o no dentro de los que tienen la
propiedad M? El proceso de interpretación formal es ahora más complejo pero el resultado seguirá
siendo valorar si la interpretación satisface o no esta fórmula.
Por último, resulta que siempre es posible construir infinitas interpretaciones distintas, incluso para la
fórmula más simple; es decir, se ha perdido la finitud de las tablas de verdad proposicionales: ahora,
cuando se hable de 'todas las interpretaciones posibles' ya no se podrán enumerar en una tabla finita,
resultará siempre un conjunto infinito de interpretaciones posibles.
LyED Lógica Predicados Lenguaje Sintaxis y Semántica (1/4)
Predicados monádicos con constantes en los términos: sintaxis
En Lógica de Proposiciones, las fórmulas atómicas (las más simples posibles) consistían en una
proposición como p o como q. A partir de ahí, mediante conectivas, se generaban fórmulas más
complejas.
En Lógica de Predicados, las fórmulas atómicas requieren no sólo escoger un predicado, sino además
escoger el término al cual se va a referir; p.ej, Pa o Pb o Qa.
PREDICADOS - Página 1 de 41
Predicados monádicos con constantes en los términos: semántica
Para valorar una fórmula proposicional se requería una interpretación. Si la fórmula constaba de tres letras
proposicionales, la interpretación se construía asignando un valor de verdad a cada una:
p.ej. [p:0,q:1,r:0]. Para valorar una fórmula de Lógica de Predicados también se requiere una
interpretación. En el caso de una fórmula como Qa, toda interpretación I precisa definir:
1. [Un universo] Un universo de referencia es un conjunto: el 'conjunto máximo' de individuos que

vamos a considerar; p.ej. UI={1,2,3}
2. [El conjunto QI] El conjunto representante de la propiedad 'Q' en ese universo: qué elementos
de U decidimos en esta interpretación que tienen la propiedad Q; p.ej.
Q I ={1,3}
3. [El elemento a I] El elemento de U, en esta interpretación abstracta, que representa el término 'a'
de la fórmula Qa; p.ej. a I =3
Esta interpretación I satisface Qa, I⊨Qa, porque el elemento representante de 'a' en esa interpretación (el
3) se consideró incluido en el conjunto del universo que representa la propiedad Q: el 3 'está dentro',
'pertenece a' {1,3}.
Si de esa interpretación sólo se hubiese variado el elemento representante de 'a', ahora como a I´=2,
entonces ocurre que I′̸⊨Qa. La interpretación no satiface la fórmula porque 2 no pertenece a {1,3}, que
marcamos arbitrariamente para esta interpretación como el conjunto de elementos que tienen la
propiedad Q.
Notación: en una fórmula como Pa sólo hay un predicado monádico, P, y sin embargo hay infinitos
conjuntos que pueden representarlo. Se están notando estos conjuntos como P I, p.ej. P I={1,4}, para
expresar que es el conjunto escogido para representa al predicado monádico en esa interpretación I. En
breve se relajará esta notación y simplemente diremos que 'al predicado P, en esta interpretación, le
representa el conjunto P={…} o que a=3 en vez de a I=3.
Predicados monádicos con constantes en los términos: ejemplos
El vídeo presenta varias fórmulas, como {(Pa∧Qb),(Pa∨¬Qb),(Pa→Qb),(Pa↔Qb)}.
Una interpretación I para una fórmula como (Pa∧Qb) requiere primero escoger un universo U;
p.ej. U={1,2,3,4,5}. Después, fijar qué elementos en U tienen en común la propiedad P; p.ej P
I
={1,2,3}. Y lo mismo para Q, p.ej. Q I={2,4}.
Por último, fijar qué elementos representan 'a' y 'b' en el universo; p.ej. a I=3, b I=1. Esta interpretacion
satisface la fórmula atómica Pa porque a I=3 está en, pertenece a P I={1,2,3}. Pero esta interpretación
no satisface Qb. Y por tanto, no satisface su conjunción.
Escogido un universo cualquiera, la elección de sus subconjuntos P I y Q I es independiente y no tiene

restricciones: podrían ambos distintos o ser el mismo subconjunto de U. Esto incluye el conjunto vacío
(p.ej. 'ningún elemento tiene la propiedad P') o incluso todos los elementos de U (p.ej. 'todos los
elementos tienen la propiedad P'). También a I y b I podrían ser el mismo o no: su elección es
independiente.
Lógica de Predicados: Sintaxis y Semántica (2/4)
Predicados diádicos con constantes en los términos
Los predicados permiten expresar propiedades de los elementos como "batman es un super-héroe" (Sb)
o relaciones entre elementos como "robin es ayudante de batman" (Arb). Las mismas fórmulas abstractas,
(Sb) y (Arb), se podrían haber usado para representar respectivamente "el 6 es un número par" y "12 es
divisible por 6".
En “Rab” debe ir de “a” a “b” (no sirve que vaya de “b” a “a”), luego la siguiente es falsa.
Test: 20
Tests: 21, 22, 23 y 24
Lógica de Predicados: ejemplos de representación (1/4)
Predicados monádicos
LyED Lógica Predicados Lenguaje Ejemplos de representación (1/4)
(161)
(162)
NOTA:
1.- Todos son simpáticos
2.- Ninguno es simpático
3.- No todos son simpáticos: Al menos existe uno fuera de P, al menos existe un no simpático
NOTA:
“a”, un elemento relacionado con todos los elementos del universo, incluido el mismo.
“y”, debemos comprobar entre todos los elementos del universo si existe, al menos, un “y” relacionado con todos los
elementos del universo, incluido el mismo.
Nota: Siendo a = 2
Nota: siendo a = 3
Nota: se incluye también la relación de a con el propio a (a relacionados con todos, ya sea como emisor o receptor,
incluido el propio a)
Ejemplos de uso de la identidad

Led Predicados

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Led Predicados

Cargado por

Copyright:

Formatos disponibles

Lógica de Predicados: Sintaxis y Semántica (1/4)

Predicados monádicos con constantes en los términos

LyED Lógica Predicados Lenguaje Sintaxis y Semántica (1/4)

Predicados monádicos con constantes en los términos: sintaxis

1. [Un universo] Un universo de referencia es un conjunto: el 'conjunto máximo' de individuos que

Predicados monádicos con constantes en los términos: ejemplos

El vídeo presenta varias fórmulas, como {(Pa∧Qb),(Pa∨¬Qb),(Pa→Qb),(Pa↔Qb)}.

Escogido un universo cualquiera, la elección de sus subconjuntos P I y Q I es independiente y no tiene

Predicados diádicos con constantes en los términos

LyED Lógica Predicados Lenguaje Ejemplos de representación (1/4)

1.- Todos son simpáticos

2.- Ninguno es simpático

También podría gustarte