检查每个允许情形下必须成立什么。
练条件规则、未确定结论、蕴含链、存在命题、互斥选择与顺序。
正确数描述本语言版本六道选定题目的作答，不是智商、百分位、招聘标准或总体言语能力估计。任何正确数均开放相同答案和完整指南。
把给定规则当作本题前提
逻辑题采用前提明确的小型虚构系统，问每个满足前提的情形都推出什么。某允许情形恰好为真不等于必然推出。未确定可指存在真和假的允许情形，不同于证明结论必假。
不要反转单向规则
假设每张蓝证都开门，某证开门，不能确定它蓝色，因为没说只有蓝证开门。蓝证与另一种合格证都可能符合。反之，在每张蓝证开门且某证不开门的题定条件下，该证不能是蓝证。
跟踪存在、互斥和方向
至少一个带标记橙牌不等于所有标记牌都橙色。若所有橙牌在某柜，只保证该柜有标记牌，不描述其余牌。恰好一个亮排除全灭和全亮。顺序保持先于方向和题定无并列；别引入与虚构前提矛盾的现实例外。
构造满足前提的反例
对诱人结论尝试造一个前提全真而结论假的小情形，逐条核前提。违背前提的不是反例。极小排序可列出全部顺序，划掉违反关系者。这样把必然性展开，而不是凭句子听起来合理。
形式核查有明确边界
本版对形式题编码枚举有限真值赋值或排列，核的是编码后的推论，不独立证明每个自然语言句子与编码完全一致。其余词义、类比、短文仍靠作者语义核对。没有常模、智商换算、招聘线或速度分。读解析后应用新前提练，不把记忆当总体推理能力证据。