In first-order logic, proving that a closed formula is valid requires showing that it is true under every interpretation.
一階述語論理では、自由変数を含まない式が妥当であることを証明するには、それがすべての解釈の下で真であることを示す必要がある。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
