論理学でならば”A→B”は¬A∨Bと定義されますが
一方でAは十分条件、Bは必要条件とされます
よって解析学のはじめのほうの証明とかでA→Bの証明は¬A∨Bと同値だからとこっちで証明したりします。
しかし。直感的にはAとBの包摂関係をイメージしてもA→B”は¬A∨Bと同値
というのと関連がわからないのです
でも定義でそうだからと従っていると証明されてしまうはい、そうですねと。
納得していたのが納得しなくなりました
さてはて、何がわからないのかがわからないです