定义 形式逻辑是研究思维形式结构及其规律的科学，核心在于确保推理过程的有效性，而非内容真假。
从哪来 它建立在“1.4 复句类型（L2）”之上，将复句中关联词所隐含的逻辑关系显性化、符号化。
为什么 复句类型（如因果、转折、条件）本质上是自然语言对逻辑关系的模糊表达。形式逻辑通过剥离具体语义，提取出“若P则Q”等纯结构关系，解决了自然语言歧义大、推理链条不严谨的问题，使思维可验证、可推导。
讲法
适合：形象思维强、喜欢类比的学生
用“建筑蓝图”类比。复句是盖好的房子（有具体房间、颜色），形式逻辑是建筑图纸（只有梁柱结构、承重关系）。告诉学生：我们不看房子好不好看（内容真假），只看图纸结构稳不稳（推理有效）。例如，“下雨地湿”是房子，“若下雨则地湿”是图纸。
讲法
适合：逻辑敏感、喜欢规则的学生
用“数学公式”类比。复句是应用题文字描述，形式逻辑是提取出的方程。强调“形式”二字：把“因为A所以B”抽象为“A→B”。重点讲解逻辑联结词（且、或、非、若…则…）的运算规则，如同加减乘除，只要结构对，结论就必然成立，与A、B具体是什么无关。
讲法
适合：喜欢辩论、批判性思维的学生
用“法庭审判”类比。复句是证人证言（可能带有情绪、偏见），形式逻辑是证据链规则。告诉学生：法官不关心证人是不是好人（内容），只关心证据之间是否矛盾、推导是否断裂（形式）。形式逻辑就是思维的“程序正义”，防止以情代法、以偏概全。