一字
格 量 式 质

二字
宾词 大词 定义 多难 二难 反驳 分类 否定 概括 概念 后件
划分 还原 假设 假说 检查 结论 肯定 论点 论据 论题 论证
矛盾 名词 模态 母项 内涵 判断 前件 前提 全称 三难 思维
四难 特称 推理 外延 限制 相容 小词 证明 中词 种差 周延
主词 子项

三字
A判断 不相容 不周延 差异法 大前提 带证式 第二格 第三格 第四格
第一格 典型格 对当法 E判断 二分法 反证法 否定词 复合式 还别格
换位法 换质法 格伦格 共变法 I判断 假判断 类概念 例证格 连锁式
联系词 逻辑学 矛盾律 O判断 排除法 排中律 契合法 求同法 求异法
三段论 三一律 省略式 剩余法 四名词 同一律 完整式 下定义 限制词
小前提 新判断 选言肢 原判断 真判断 种概念 周延性

四字
必然判断 并列关系 宾词周延 单称判断 单独概念 定义过宽 定义过窄
对立关系 二次划分 二难推理 反驳论点 反驳论据 反驳论证 否定判断
复合宾词 复合主词 概念模糊 归纳推理 归纳证明 换质位法 或言判断
假言判断 集合概念 假言推理 间接推理 间接证明 交叉关系 科学定义
肯定判断 类比推理 类比证明 类似划分 类种关系 联言判断 逻辑错误
矛盾关系 逆复合式 逆连锁式 普通概念 全称判断 上位概念 省略结论
实然判断 顺复合式 顺连锁式 思维形式 特称判断 同一关系 偷换概念
偷换论题 偷换判断 推不出来 无限外延 下位概念 限制不当 相容关系
形式逻辑 虚假理由 选言判断 循环论证 演绎推理 演绎证明 一次划分
已知判断 以偏概全 有限外延 预期理由 越级划分 直接推理 直接证明
主词周延

五字
宾词不周延 不相容关系 纯粹换位法 充足理由律 次对立关系 非本质属性
否定肯定式 复合主宾词 假说的提出 假说的验证 假言三段论 简单换位法
肯定否定式 邻近类概念 论据不相干 省略大前提 省略小前提 限量换位法
限制换位法 相容而穷尽 选言三段论 证据不充分 直言三段论 主词不周延

六字
不相容而穷尽 大词不当周延 复杂的构成式 复杂的破拆式 划分标准不一
假言选言推理 间接反驳论点 简单的构成式 简单的破拆式 科学归纳推理
全称否定判断 全称肯定判断 特称否定判断 特称肯定判断 完全归纳推理
相容而不穷尽 小词不当周延 以相对为绝对 直接反驳论点

七字
不相容而不穷尽 纯粹的假言推理 混合的假言推理
相容的选言判断 虚假的二难推理 中词两次不周延

八字
不相容的选言判断 简单枚举归纳推理

九字
必要条件的假言判断 充要条件的假言判断
复合宾词的联言判断 复合主词的系言判断
---------------根据一九九零年《灯谜指南》第六期资料整理/守阙园主