La logique est l'étude de la nature, des concepts, de la vérité, des jugements et, de la validité des raisonnements, classiquement elle repose sur:
- une syntaxe
- une sémantique
- un système de preuve
George Boole(1847) est le premier à traiter la logique d'Aristote comme une algèbre et participe ainsi avec Gottlob Frege à la naissance de la logique propositionnelle, voici quelques éclaircissements:
- Une proposition désigne un énoncé considéré du point de vue formel de la logique.
- Des énoncés descriptifs d'un état de fait et susceptibles d'être vrais ou faux sont appellés des fonctions de vérité
- Une proposition simple prend la forme d'une variable propositionnelle (p, q, r,...)
- Les opérateurs logiques sont au nombre de 5: Négation, Conjonction, Disjonction, Implication, et Bi-implication
Toutefois la logique propositionnelle ne permet pas d'exprimer la quantité de chaque variable, ce manque a été comblé par la logique des prédicats à travers ses fonctions, ses quantificateurs et ses prédicats (concepts formulés à l'aide de variables libres).
L'avénement de l'ordinateur est aussi celui de la logique binaire et plus encore..
Des langage.. tel prolog
Désolé, les commentaires sont clos pour cet article.