Logique formelle

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

La logique formelle est l’étude purement abstraite de l’inférence, en linguistique. La logique dite « informelle » est cette branche de logique qui étudie, examine la structure de l’argumentation dans les langues naturelles.

Notes et références[modifier | modifier le code]

Annexes[modifier | modifier le code]

Sur les autres projets Wikimedia :

Articles connexes[modifier | modifier le code]