Mise à niveau: déduction
Exercice 3 : Satisfiabilité (4 points). Soit F une formule propositionnelle construite `a partir des seuls connecteurs ? et ? (et `a partir de variables ...
Exercice 3 : Satisfiabilité (4 points). Soit F une formule propositionnelle construite `a partir des seuls connecteurs ? et ? (et `a partir de variables ...