In this formal proof, the proposition A equivale to the negation of the negation of A.
この形式的な証明では、命題AはAの二重否定と同値である。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
