Logique formelle étude de l’inférence, en linguistique From Wikipedia, the free encyclopedia 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]. Cet article est une ébauche concernant la logique. Notes et références [1]« Logique : Définition de Logique informelle », sur www.cnrtl.fr (consulté le 14 juillet 2024) 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 Portail des mathématiques Portail de la logique Portail de la linguistique Related Articles
