>>218
それは ¬A∨Bではないですか？
A⇒Bは「AならばB」だと思いますが・・・

>>223
真でも偽でもよいとすると、
真と定義した理由にはならないと思うのですが・・・
そこがピンとこないんですよね