Logique_formelle (original) (raw)

An Entity of Type : academic subject, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

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.