Précis de logique élémentaire
| Format: 15 cm / 22 cm |
| Nombre de pages: 299 |
| Année de publication: 2018 |
| ISBN: 978-2-490574-00-1 |
| Genre: Essai |
| Résumé: Précis de logique élémentaire est un ouvrage d’initiation au langage et au calcul de la logique élémentaire. Il présente les symboles et la syntaxe de la logique du premier ordre, ainsi que quelques méthodes sémantiques et syntaxiques. La première partie du livre, qui porte sur la logique des propositions, en propose l’alphabet, les règles de formation des EBF et les principes de formalisation, puis, expose diverses méthodes de preuve pour le calcul des propositions. La deuxième partie, consacrée au calcul des prédicats du premier ordre, suit la même organisation que la précédente. D’une part, elle présente la structuration du langage de la quantification ; d’autre part, elle développe quelques procédures relatives à la théorie des modèles – notamment l’interprétation des formules quantifiées – et à la théorie de la démonstration, particulièrement l’axiomatisation et la déduction naturelle des prédicats du premier ordre. |