« Logique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
Ligne 1 : | Ligne 1 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
==Définition== | ==Définition== | ||
C'est la science du raisonnement et de l'application ou de l'expression du raisonnement. Avec la représentation et le raisonnement, ou inférence, la logique constitue le troisième facteur du triptyque de la capacité de déduction d'un système. Il existe plusieurs types de logiques, la logique propositionnelle, la logique de premier ordre, etc. | C'est la science du raisonnement et de l'application ou de l'expression du raisonnement. Avec la représentation et le raisonnement, ou inférence, la logique constitue le troisième facteur du triptyque de la capacité de déduction d'un système. Il existe plusieurs types de logiques, la logique propositionnelle, la logique de premier ordre, etc. | ||
==Français== | ==Français== |
Version du 13 mars 2020 à 08:52
Définition
C'est la science du raisonnement et de l'application ou de l'expression du raisonnement. Avec la représentation et le raisonnement, ou inférence, la logique constitue le troisième facteur du triptyque de la capacité de déduction d'un système. Il existe plusieurs types de logiques, la logique propositionnelle, la logique de premier ordre, etc.
Français
Logique
Anglais
Logic
Contributeurs: Claude Coulombe, Jacques Barolet, wiki