Voici pourquoi:
* logique est l'étude du raisonnement valide. Il fournit les règles et principes pour déterminer si une conclusion découle logiquement d'un ensemble de prémisses.
* logique formelle est une branche de la logique qui traite de la structure et de la forme des arguments, en utilisant des symboles et des systèmes formels.
* logique informelle se concentre sur l'utilisation quotidienne du raisonnement, analysant les arguments pour leur solidité et leur cogence.
Tandis que d'autres domaines comme philosophie et psychologie cognitive Étudiez également le raisonnement, la logique est la principale discipline dédiée à son analyse et à son application systématiques.
