Examens corriges

Examen - 15 décembre 2014

Correction : 1. B est conséquence logique de A si et seulement si l'ensemble {A,¬B} est insatisfiable. Il suffit ...





Télécharger