Exposé des bases de la logique des propositions, des prédicats et des relations ainsi que de leur fonctionnement calculatoire. Avec, en fin d'ouvrage, des exercices corrigés et commentés.