「すべてのAはXXXである」という命題を証明するときに、より証明しやすくするために、より制約の強い「すべてのBはYYYである」という等価な命題に帰着して「すべてのBはYYYである」を証明するという方法がある。 特に、クラスAがクラスBを包含していて、「す…
2回目の100秒切りデタッ
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。