演繹的-法則的モデル