1.ORDRE 0

Les conditions et les conséquents sont uniquement d'ordre booléen (
VRAI, FAUX; 1, 0)


2.ORDRE 0+


Les conditions et les conséquents peuvent être d'ordre Booléen,
symboliques ou réels


3. ORDRE 1
Les conditions et les conséquents peuvent être constiués de
variables, de quantificateurs et d'instructions