Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Abrege de logique formelle

Couverture du livre « Abrege de logique formelle » de Willy Biayi Jean aux éditions Editions Universitaires Europeennes
Résumé:

La logique est très souvent présentée comme l'art et la science du bon raisonnement. C'est la discipline des démonstrations rigoureuses, de la mécanique des preuves. Mais c'est également le lieu des interprétations de la signification des énoncés, celui des modèles ou mondes possibles. C'est le... Voir plus

La logique est très souvent présentée comme l'art et la science du bon raisonnement. C'est la discipline des démonstrations rigoureuses, de la mécanique des preuves. Mais c'est également le lieu des interprétations de la signification des énoncés, celui des modèles ou mondes possibles. C'est le coeur de cet écart entre syntaxe et sémantique que se situe cet ouvrage. Deux parties composent en réalité ce manuel:- La logique des propositions qui est une logique "rudimentaire" à faible pouvoir expressif mais présentant l'avantage de pouvoir exposer les notions de base essentielles au développement de toute logique: - La logique des prédicats qui est une logique beaucoup plus avancée, à fort pouvoir expressif, mais néanmoins facile d'appréhension à partir de la précédente.

Donner votre avis