普遍的命題から個別的命題を論理的に導き出す推論。ディダクション。
「明日は雨である。（雨の日は頭が痛くなる。）ということは、明日は頭痛になるだろう。」

普遍的命題とは、所与の条件（抽象理論）と言い換えられる。
個別的命題は、具体的な事象（具体的結論）と言い換えられる。

抽象から具体を抽出するイメージ。