論理結合子を結論として導入する推論規則を導入規則(introduction rules)と呼ぶ。