Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Logique propositionnelle classique - MLO - Ensiie
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
En OCaml :<br />
◮ Les valeurs de vérité sont représentées par des valeurs de type bool :<br />
1 par true, 0 par false.<br />
◮ Une interprétation est représentée par une liste de couples (nom de<br />
variable, valeur de vérité) c’est-à-dire une liste de type<br />
(string*bool) list.<br />
◮ interp formule : formule -> interpretation -><br />
bool<br />
let rec interp_formule f i = match f with<br />
| Bottom<br />
| Variable v -> ....<br />
A vous de jouer ...<br />
Catherine Dubois, Julien Narboux (Strasbourg) () <strong>Logique</strong> <strong>propositionnelle</strong> <strong>classique</strong> 10 / 60