ここでは妥当性(前提が真なら結論も真となる性質)が重要となる。