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.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne