Introduction à la logique standard

Résumé éditeur

La logique a acquis au XXe siècle un statut déterminant : elle n'est pas seulement l'outil privilégié de l'Intelligence Artificielle, elle s'impose aussi dans le parcours des philosophes, des mathématiciens, des économistes, des juristes, des médecins, etc. Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (1. Calcul des propositions ; 2. Calcul des prédicats ; 3. Calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés. Complété par un glossaire, il comprend en outre de nombreuses références bibliographiques pour approfondir les points abordés.