دانلود کتاب Eléments de logique contemporaine
by François Lepage
|
عنوان فارسی: عناصر منطق معاصر |
دانلود کتاب
جزییات کتاب
logique conten1poraine dont la maîtrise est nécessaire pour
qui veut aborder l'étude de la métalogique. Véritable manuel
d'introduction - sa lecture ne requérant aucune connaissance
particulière - il comporte deux parties correspondant à la division
classique entre le calcul des énoncés et le calcul des prédicats.
La pren1ière partie présente les connecteurs logiques d'un point
de vue purement sémantique par la méthode des tables de vérité et
par la l11éthude des matrices. Une attention particulière est portée
aux questions de traduction en langue naturelle. Cet ouvrage pourra
donc être utile à tous les étudiants de premier cycle qui amorcent
une réflexion sur le langage. Les n1éthodes syntaxiques de vérifica-
tion de la validité sont ensuite abordées: algèbre de Boole, méthode
des arbres et méthode de déduction naturelle.
Consacrée à l'étude du calcul des prédicats, la seconde partie en
présente les notions fondan1entales: l11odèle, satisfaction, vérité,
validité. Sont ensuite développées la l11éthode des arbres et la
méthode de déduction naturelle.
De nombreux exercices originaux permettront au lecteur de
vérifier au fur et à mesure sa compréhension de la matière. Plusieurs
de ces exercices sont accol11pagnés de corrigés qui sont regroupés à
la fin de chaque chapitre.