Logique Travaux Dirigés - Partie 3 Corrigés - Université Bretagne Sud

Le deuxième chapitre appelé Logique propositionnelle (d'ordre 0) ou Calcul propositionnel est la première étape dans la construction du calcul des pré-.