Corrigé détaillé du TD N°1
Logique du premier ordre. TD bonus. M1 LMFI - automne 2018. TD bonus. Exercice 1. Algèbres booléennes. Une algèbre booléenne est un anneau unifère (A,+,·,0,1) ...
Logique du premier ordre. TD bonus. M1 LMFI - automne 2018. TD bonus. Exercice 1. Algèbres booléennes. Une algèbre booléenne est un anneau unifère (A,+,·,0,1) ...