形式逻辑是考研联考综合逻辑的重要基础部分，其特点是规则性强，掌握核心考点和解题技巧后，能够高效得分。熟练掌握形式逻辑的各类命题及推理规则，是考生在这一板块取得优异成绩的关键。
直言命题与模态命题
直言命题是对事物性质的直接判断，涉及全称肯定、全称否定、特称肯定、特称否定等形式。考生需要掌握直言命题之间的对当关系，如矛盾关系、反对关系、下反对关系以及差等关系。例如，“所有 S 是 P” 和 “有的 S 不是 P” 是矛盾关系，二者必定一真一假。利用这些关系，可以快速判断命题的真假，解答相关题目 。
模态命题则是包含 “必然”“可能” 等模态词的命题。模态命题的推理规则与直言命题有相似之处，例如 “必然 P” 和 “可能非 P” 是矛盾关系。考生要学会对模态命题进行等价转换，如 “不必然所有的花都结果” 等价于 “可能有的花不结果” 。
联言、选言与假言命题
联言命题表示几种事物情况同时存在，其逻辑形式为 “P 且 Q”，只有当 P 和 Q 都为真时，联言命题才为真。选言命题分为相容选言命题（“P 或 Q”）和不相容选言命题（“要么 P，要么 Q”） 。相容选言命题只要 P、Q 中有一个为真即成立，不相容选言命题则要求 P 和 Q 有且只有一个为真 。
假言命题是形式逻辑的核心难点，包括充分条件假言命题（“如果 P，那么 Q”）、必要条件假言命题（“只有 P，才 Q”）和充要条件假言命题 。对于充分条件假言命题，其推理规则是 “肯前必肯后，否后必否前”；必要条件假言命题的推理规则是 “否前必否后，肯后必肯前” 。掌握这些规则，能够准确分析假言命题的逻辑关系，快速解题。
形式逻辑解题技巧
在解答形式逻辑题目时，首先要将题干中的自然语言准确转化为逻辑符号形式，这是正确解题的基础。例如，将 “如果明天天气好，我们就去郊游” 转化为 “天气好→郊游” 。然后，根据逻辑规则对选项进行逐一分析，排除不符合规则的选项。同时，善用代入法、排除法等解题方法，对于一些复杂题目，可以通过假设法来推导结论 。
京公安网备11010802020593号