¿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(P_i) = 100.
Si no se cumple, la proposición será evaluada como Falsa , esto es C(P_i) = -100.