形式逻辑是研究推理形式结构的一门学科，它通过分析命题之间的关系来判断推理的有效性。其中，三段论是最基本且常见的形式逻辑推理方法之一。例如：

“所有哺乳动物都有脊椎；鲸鱼是哺乳动物；因此，鲸鱼有脊椎。”

这个三段论由大前提、小前提和结论组成。大前提是普遍性的陈述（所有哺乳动物都有脊椎），小前提是特定情况的描述（鲸鱼是哺乳动物），而结论则由这两个前提推导得出。

此外，形式逻辑还涉及其他类型，如假言推理和选言推理。例如：“如果天气下雨，则地面会湿；现在下雨了；所以地面会湿。” 这种推理方式依赖于条件关系，帮助我们从已知条件推导出未知结果。

形式逻辑的重要性在于其能够提供清晰的思维框架，避免因语言歧义或情绪干扰导致的错误判断。无论是在学术研究还是日常生活中，掌握形式逻辑都能提升我们的批判性思维能力。