Logique

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.

La logique (du grec ancien: logikê ) est l'étude systématique des formes d'inférence, les relations qui conduisent à l'acceptation d'une proposition, la conclusion, sur la base d'un ensemble d'autres propositions, les locaux. Plus largement, la logique est l'analyse et l'appréciation des arguments. Les locaux peuvent ou non appuyer la conclusion; dans le cas contraire, la relation est caractérisée comme une erreur. Dans le discours ordinaire, les inférences peuvent être signifiées par des mots tels que donc, donc, donc, ergo, etc.