Logique formelle
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
La logique formelle est l’étude des concepts, jugements et raisonnements considérés abstraitement et sans considération des objets qu'ils désignent[1].
- ↑ « Logique : Définition de Logique informelle », sur www.cnrtl.fr (consulté le )
Annexes
Sur les autres projets Wikimedia :
- Logique formelle, sur Wikiversity
Articles connexes
- Aristote
- Logique mathématique
- Fondements des mathématiques
- Logique classique
- Logique non classique, dont : logique intuitionniste, logique minimale, logique linéaire, logique modale, logique infinitaire
- Syllogisme
- Idéographie
- Lambda-calcul
- Logiques multi-valuées
- Logique de description