Travaux dirigés de : Systèmes Logiques ( 1 ) & (2) - Iset Nabeul

Exercices avec corrections sur la logique. Exercice 1 Ecrire les contraposées des implications suivantes et les démontrer. n est un entier naturel, x et y ...