論理学
「AならばB」のよくある誤解から学ぶ、論理学入門（対偶、逆、否定、真偽表） | 趣味の大学数学
前提条件が偽のときの考え方
前提が偽、すなわち条件が空であるときに正しいと考えることを、空真 vacuous truthと言います
AならばB(Aが真でBが真)という推論の否定は、
Aが真でBが偽
https://amzn.to/3zZdJhm https://gyazo.com/f8fa98237c4ac2990a1ad7e0706126f3
#対偶
#命題