>>116
それ真偽の話というよりも対偶は一致するというやつでしょ
トートロジーなら全てが真になるし