¿Cómo se evalúa la proposición asociada?

Cuando se ejecuta la variable relación de comparación, la máquina de inferencia examina la relación y:
Si la relación se cumple, la proposición será evaluada como Verdadera, esto es C(Pi) = 100.

Si no se cumple, la proposición será evaluada como Falsa , esto es C(Pi) = -100.


Parámetro: Comparando fórmulas

Definición de la Relación (Drj)
La definición de la relación se realiza a través de tres componentes básicos que son:
1. Miembro izquierdo
2. Relación
3. Miembro derecho