>>149
うん、だから、論理式の真理値を全て求めたとき、そのあらゆる解釈において、論理式（推論式）の真理値が真となる場合に、この推論式を妥当とか恒真とかっていうんですよね？私が引用した原文にある「be entailed」という表現は、このことを意味しますよ。