In our proof, we treated the Boolean atom as an irreducible proposition that provides new information.
証明では、ブール論理における原子命題を、他の命題からブール演算で導出できない既約で新しい情報を含む命題として扱った。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
