Logique formelle
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
Annexes
Articles connexes
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.