Initiation à la logique formelle : exercices et corrigés

Initiation à la logique formelle
L'ouvrage propose une introduction à la logique contemporaine , à la fois rigoureuse et accessible à tous. Abordant d'emblée la logique propositionnelle et la logique des prédicats du premier ordre (sans en développer les aspects mathématiques), il en présente les techniques fondamentales .
Les auteurs mettent particulièrement l'accent sur la logique comme outil du langage : partant de nombreux exemples , le lecteur passe progressivement à la formalisation des propositions et à l' étude des raisonnements corrects .
Le livre vaut non seulement pour la richesse des thèmes abordés mais aussi pour la large gamme d'exercices résolus . Ces exercices complets et progressifs conduiront le lecteur attentif à la connaissance approfondie des notions de base de la logique .
Cet ouvrage s'adresse aux étudiants et professeurs de toutes les disciplines de sciences humaines, ainsi qu'aux étudiants de sciences économiques.