Avant de te lancer dans tout cela je te propose la lecture de mon module 'Bases des mathématiques' (voir mon site) comprenant un chapitre intitulé 'logique' et contenant le calcul des prédicats, sous...