什么是形式逻辑学？

什么是形式逻辑学？

形式逻辑学（Formal Logic）是一种研究演绎推理（deductive reasoning）和论证的形式化系统的学科。它主要关注命题的逻辑形式以及它们之间的推导关系，旨在建立一套形式化的逻辑语言和系统，以对论证和推理进行严谨的分析和评估。