In the proof, we modeled the proposition using a NOT function to invert the truth value of the predicate.
証明では、述語の真理値を反転させるために否定関数を用いて命題をモデル化しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
