Syntaxe du calcul des prédicats

Sujets abordés

Sources

Attention: Arnold et Guessarian utilisent pour l’implication tantôt le symbole , tantôt le symbole (la différence est subtile, et elle sera claire dans les prochains cours). Vélu et David - Nour - Raffali utilisent le symbole .