>>138・・・ん?「前提が全て真であるとき、必ず結論が真となること」が妥当な演繹で、「人間は必ず死ぬ。ソクラテスは人間である。したがって、ソクラテスは必ず死ぬ」という例が挙げられるよね。でも恒真ではないでしょ?