logique symbolique
- Domaine
-
- informatique
- Dernière mise à jour
Définition :
Étude du raisonnement s'appuyant sur l'utilisation d'un langage artificiel pour exprimer des propositions et des relations, et non sur des langages naturels, dont on évite ainsi les inadéquations et les ambiguïtés.
Note :
Par exemple, en logique symbolique, on utilisera le symbole => pour signifier implique, plutôt que ce dernier verbe.
Termes privilégiés :
- logique symbolique n. f.
- logique mathématique n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- symbolic logic
- mathematical logic