Con el operador - ® (implicación), las dos expresiones dependen la una de la otra para determinar el valor verdadero de la expresión ("IF A, THEN B", es decir, SI A, ENTONCES B). No obstante, si la segunda expresión es verdadera o la primera es falsa, el valor verdadero de la combinación es verdadero.

La tabla que se muestra a continuación es la tabla verdadero-falso para el operador -- ® .

Expresión A	Expresión B	A - ® B
TRUE	TRUE	TRUE
TRUE	FALSE	FALSE
FALSE	TRUE	TRUE
FALSE	FALSE	TRUE

En el componente FI-SL, el operador - ® (implicación) se utiliza para que el sistema verifique que la segunda expresión es verdadera tomando como base la primera, antes de utilizar los datos.

El siguiente gráfico utiliza una tabla verdadero-falso para el operador - ® (implicación) para determinar si una operación se contabiliza en un ledger.

Si la operación es para la cuenta 500000, el sistema verifica que el centro de coste de la operación sea el 150. Si el centro de coste no es el 150, la expresión combinada es FALSE y los datos no se contabilizarán en el ledger. Si el centro de coste es el 150, la expresión combinada es TRUE y los datos se contabilizan en el ledger.

Si la operación no es para la cuenta 500000 ni para el centro de coste 150, la expresión combinada es TRUE y los datos se contabilizan. Si la operación no es para la cuenta 500000 sino para el centro de coste 150, la expresión combinada es TRUE, y los datos se contabilizan.