Pour les articles homonymes, voir logique (homonymie).
Cet article est une ébauche concernant la logique.
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.
Sur les autres projets Wikimedia :