In symbolic logic, the biconditional '↔' functions as a logical constant connecting two propositions.
記号論理学において、同値記号（↔）は二つの命題を結ぶ論理定数として働く。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
