位置仮定の規則
【いちかていのきそく】
【ichikateinokisoku】
假位律蕴涵规则