Logique formelle
étude de l’inférence, en linguistique
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].
Notes et références
modifier- « Logique : Définition de Logique informelle », sur www.cnrtl.fr (consulté le )