Logique
Définition :
La logique est la base des démonstrations en mathématique. Bien qu'elle apparaisse de manière cachée dans toute l'argumentation mathématique, elle est indispensable à la
compréhension de théorème. Elle se formalise sous forme de table de vérité dans l'algèbre de Boole
fr.wikipedia.org/wiki/Logique_(mathématiques_élémentaires)
fr.wikipedia.org/wiki/Logique_(mathématiques_élémentaires)
INTRODUCTION À LA LOGIQUE
La logique de floue
Définition :
Logique dans laquelle la véracité d'une proposition est un nombre réel de l'intervalle [0,1]. Le faux booléen est à un bout (0), le vrai booléen à l'autre (1).
Logique formelle
Logique formelle et mod
Petit précis de logique formelle
Logique formelle & Programmation logique
Logique propositionnelle
Autre sites:
Introduction à la logique:
http://www.irit.fr/~Andreas.Herzig/C/prop_anx.html
Logique propositionnelle classique:
