模板:直言三段论
直言三段论推理规则
例句:
- 所有人都会死,苏格拉底是人。因此,苏格拉底会死。
推理规则:
- 结论中的谓词是大词(P);包含大词的前提为大前提
- 结论中的主词是小词(S);包含小词的前提为小前提
- 二前提中重复出现的词是中词(M)
- 判定论述的语气及周延性(以下周延记为+,不周延记为-):
- 全称肯定(A):“所有A是B”,A+ B- (单称为准三段论,可视为全称肯定)
- 全称否定(E):“没有A是B”,A+ B+
- 特称肯定(I):“有些A是B”,A- B-
- 特称否定(O):“有些A不是B”,A- B+
例句分析结果:
- 大前提(A): 所有人(M+)是会死的(P-)
- 小前提(A): 所有苏格拉底(S+)是人(M-)
- 结论(A): 所有苏格拉底(S+)是会死的(P-)
有效性检验:
其他检验: