対偶の胡散臭さを問う場面で真偽値を前提にして
「真偽が一致してるから思考の形式的には問題ない」
うーん、もう少し深く考えた方がいいんでないかい