三段论(syllogism)

演绎推理的一种。最著名的例子是那些具有如下形式的论证