三段论（syllogism）

演绎推理的一种形式。通常由两个前提、一个结论构成。如前提1：所有的A是B，前提2：所有的B是C；结论：所有的A是C。评价一个三段论就是假设在两个前提为真的情况下，判断是否必然能推出结论。一个真实的或正确的三段论是指前提和结论在逻辑上是一致的。