>>110
P→Qも¬Q→¬Pも証明できないのになんで真偽値が等しいなんていえるの?証明できることが真の定義なんでしょ。早く答えてよ!