Can I read Eléments de Logique Contemporaine on EtoBox?

Eléments de Logique Contemporaine by François Lepage is a nonfiction available to read on EtoBox.

What is Eléments de Logique Contemporaine about?

Cet ouvrage expose les méthodes et concepts élén1entaires de la 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

Who reads Eléments de Logique Contemporaine?

Author

François Lepage

Publisher

Les Presses de l'Université de Montréal

Published

2010

Language

FR

ISBN

9782760622302

Category

nonfiction

Subjects

Philosophy, Mathematics, Humanities