LOGIQUE MATHÉMATIQUES - ops.univ-batna2.dz

Corrigé de l'exercice 3.2. On sait bien que sin0 = 0 et que 0 ? R donc. ?x ... Logique mathématique : cours et exercices. Calcul pro- positionnel ...