Université Aix Marseille Licence de mathématiques Cours d'Analyse ...
Exercice 35 (Preuve,*) Montrer, à l'aide d'une preuve par résolution, la correction du raisonnement suivant : r +q ? t,t.q ? r,q |= t ? r. Exercice 36 ( ...
Exercice 35 (Preuve,*) Montrer, à l'aide d'une preuve par résolution, la correction du raisonnement suivant : r +q ? t,t.q ? r,q |= t ? r. Exercice 36 ( ...