Réponse à l'exercice 2 6

Quel sera l'état du monde après le tirage de la règle R1 ?

F1 : vehicule_arrete

F2 : feu_passe_au_vert

F3 : demarrer_véhicule

Quel devrait être l'état du monde réellement ?

F3 : demarrer_vehicule

F4 : non vehicule_arrete

Comment s'écrirait la règle R1 alors ?

R1 : vehicule_arrete ^ feu_passe_au_vert -> demarrer_vehicule ^non vehicule_arrete

Pourquoi ceci ne marche-t-il pas en logique "classique" ?

Le vrai ne peut pas impliquer le faux (vehicule_arrete -> non vehicule_arrete) et il ne peut pas y avoir moins de faits dans le monde (théorèmes démontrés) après la démonstration d'un théorème ! C'est non monotone donc....