>>118
同値が証明できるとなにが解決するの?問題になってるのは真偽が同じになることなんですけど?
P∧Qも¬(P∧Q)もどちらも証明不可能なのに何言ってるのかね