Examens corriges

TD no 1 Calcul propositionnel ? syntaxe et sémantique

Les formules q ? p, p, r sont elles des conséquences logiques de r? Exercice 2.2. On se donne r un ensemble fini satisfaisable de formules, une formule j ...





Télécharger