Información jurídica inteligente
 Perú | +51 164 193 54

Apéndice: un précis de la semántica de estado-acción

Document Citado por Relacionados
Vincent
AutorDouglas N. Walton - Erik C. W. Krabbe
Páginas257-264
Apéndice
Un précis de la semántica de estado-acción
0. Conjunto de nociones teoréticas
Aquí no podemos presentar una introducción a la teoría del con-
junto, pero esta breve lista de notaciones y definiciones puede
resultar suficiente para hacer este précis accesible a los lectores
interesados en una formulación conjunto-teórica de la semántica
de estado-acción.
• a A: a es un elemento del conjunto A.
• a A: a no es un elemento del conjunto A.
• : conjunto vacío.
• A B: A es un subconjunto de B, es decir, cada elemento de
A es un elemento de B.
• A B: A B y A B: A es un subconjunto adecuado de B.
• {a}: el semifallo de a, es decir, el conjunto con a es su único
elemento.
• {a, b,...}: el conjunto de a, b,... como sus (únicos) elementos.
• a, b : el par ordenado de a (primero) y b (segundo).
• {x| (…x…)}: el conjunto de todas las x tal que (…x…). Aquí
“(…x…)” equivale a una forma de sentencia o predicado (como
“x es par”). Por ende “{x| x es par}” denota el conjunto de
números pares o iguales.

Para continuar leyendo

Solicita tu prueba
Índice de navegación

Búsquedas relacionadas:

VLEX utiliza cookies de inicio de sesión para aportarte una mejor experiencia de navegación. Si haces click en 'Aceptar' o continúas navegando por esta web consideramos que aceptas nuestra política de cookies. ACEPTAR