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... 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, enfin, au lecteur de mettre en oeuvre ses connaissances au moyen d'exercices corrigés et commentés.

• La logique des propositions
  • Le langage des propositions
  • Procédures d'évaluation et lois
  • Présentations et propriétés métalogiques
• La logique des predicats
  • La syllogistique traditionnelle et son dépassement diagrammatique
  • Le langage des prédicats
  • Les procédures d'évaluation
• La logique des relations
  • Le langage des relations
  • Opérations, procédures d'évaluation et lois du calcul des relations
  • Présentations et propriétés métalogiques
• Exercices corriges et commentes
  • En calcul des propositions
  • En calcul des prédicats
  • En calcul des relations