In first-order logic, a singular statement contains only constants and no variables.
一階述語論理では、定数のみで構成され変数を含まない文はそれ以上インスタンス化できません。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
