词项逻辑（九）

直言三段论（一）

三段论是以两个包含着共同项的直言命题为前提，推出一个新的直言命题的推理。例如：