三段论（syllogism）

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