>>747
数Aには「仮定が偽の命題は真」というのも出てくるが
真偽のどちらにしてもいいというのはないな。