La logique a acquis au XXème 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... Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (calcul des propositions ; calcul des prédicats; calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet, enfin, au lecteur de mettre en œuvre ses connaissances au moyen d'exercices corrigés et commentés.
La logique a acquis au XXème 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... Le présent ouvrage s'adresse à tous ceux qui veulent s'initier à la logique contemporaine. Il propose en trois temps (calcul des propositions ; calcul des prédicats; calcul des relations) un exposé complet et pédagogique de ses fondements. Il permet, enfin, au lecteur de mettre en œuvre ses connaissances au moyen d'exercices corrigés et commentés.