形式逻辑是一种研究命题、推理和论证的逻辑学分支，它关注的是论证的形式结构。
拓展知识：
1、形式逻辑的概述
形式逻辑是逻辑学的一个重要分支，主要研究命题和谓词的逻辑关系以及推理和论证的形式结构。与其他逻辑学分支不同的是，形式逻辑不涉及具体内容的真假，而是纯粹从形式上进行推理和论证的分析。
形式逻辑可帮助我们理清思维过程，发现推理和论证中的潜在漏洞，提高思维的准确性和合理性。
2、命题逻辑与谓词逻辑
形式逻辑中的两个主要分支是命题逻辑和谓词逻辑。命题逻辑研究的是简单的命题之间的逻辑关系，将命题表示为可以取真或假的原子命题，通过逻辑运算符（如非、合取、析取、蕴含和等价）来进行逻辑推理。
谓词逻辑则进一步引入了谓词与量词的概念，用于描述命题中的变量和关系，使得逻辑表达能力更加强大。
3、推理规则和论证形式
形式逻辑研究的一个重要方面是推理规则和论证形式。推理规则是指根据某些前提和逻辑运算法则，通过合乎逻辑的推导得出结论的方法。常见的推理规则包括假言推理、逆否推理、分离规则等。
而论证形式则是一种具有普遍适用性的推理模式，如泛化、特殊化、假设、拒绝、因果关系等，它们可用于分析和评价各种具体论证的有效性。
4、形式逻辑与实践应用
形式逻辑虽然抽象，但在实际应用中具有广泛的意义。在科学研究、法律推理、计算机科学等领域，形式逻辑被广泛运用于推理、证明、验证等工作中。形式逻辑训练也能帮助我们提高批判性思维、逻辑思维和辩证思维能力，加强分析问题和解决问题的能力。
总结：
形式逻辑是研究命题、推理和论证的逻辑学分支，关注推理和论证的形式结构。命题逻辑和谓词逻辑是形式逻辑的两个主要分支，分别研究命题之间的逻辑关系和引入谓词与量词的逻辑关系。形式逻辑涉及推理规则和论证形式，用于分析和评价各种具体论证的有效性。
在实践应用中，形式逻辑广泛应用于科学研究、法律推理、计算机科学等领域，并有助于提高思维能力和解决问题的能力。