Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse aux étudiants des sciences humaines et économiques. ©Electre 2025
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.
Paru le : 04/10/2005
Thématique : Logique
Auteur(s) : Auteur : Thierry Lucas Auteur : Isabelle Berlanger Auteur : Isabelle De Greef
Éditeur(s) :
De Boeck
Collection(s) : Démarches de pensée
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782804150112
Reliure : Broché
Pages : 233
Hauteur: 24.0 cm / Largeur 16.0 cm
Poids: 400 g
Carte fidélité
Mollat Radio
