Posterior: Reglas de propagación de Arriba: Semántica Anterior: Valores de verdad

Asignaciones

Definición 1.1   Sea $X$ un conjunto de $n$ variables proposicionales. Las ASIGNACIONES son funciones del conjunto de variables proposicionales en el conjunto de valores de verdad:

$$\mbox{\it Asignaci\'on}: X \longrightarrow \mbox{\rm Dos}$$

En consecuencia, si hay $n$ variables proposicionales entonces habrá $2^n$ asignaciones:

$$n \mbox{\rm variables proposicionales} \ \Rightarrow \ 2^n \mbox{\rm asignaciones}.$$

Prácticamente, a cada vector $\mbox{\boldmath$\delta$}\in\mbox{\rm Dos}^n$ se le puede ver como una asignación: El valor de verdad asignado a la variable proposicional $x_j$ es, precisamente, la $j$-ésima coordenada $\delta_j$ de $\mbox{\boldmath$\delta$}$. Inclusive consideraremos en ocasiones nociones restringidas de asignaciones. Una ASIGNACIÓN PARCIAL es un vector $\mbox{\boldmath$\epsilon$}\in\mbox{\rm Tres}^n$. Toda entrada $a$ en una asignación parcial deja ``sin instanciar'' a la correspondiente variable proposicional.