>>203
ちなみに、だけどね。

（AならばB）という命題を考える。これを命題１と名付けよう。
Aが成り立たないとき、命題１は真となります。
違和感あるだろうけど。
適当にこんなところでもみといてください。
https://mathrelish.com/mathematics/implication