la notion logique d'inférence Correction de quelques exercices
Exercice 2 SoitC = ?i?I li où chaque li est un littéral et F une formule propositionnelle. Montrer queC est un impliquant premier de F si et seulement si C ...
Exercice 2 SoitC = ?i?I li où chaque li est un littéral et F une formule propositionnelle. Montrer queC est un impliquant premier de F si et seulement si C ...