13.1.1 Corrigés
La proposition (P ? Q) ? (P ? Q) est équivalente `a P. Page 6. CHAPITRE 13. R´EVISIONS DE MATH´EMATIQUES POUR L'INFORMATIQUE 211. Corrigé de l'exercice 13.14.
La proposition (P ? Q) ? (P ? Q) est équivalente `a P. Page 6. CHAPITRE 13. R´EVISIONS DE MATH´EMATIQUES POUR L'INFORMATIQUE 211. Corrigé de l'exercice 13.14.