In the model, the truthset of a predicate contains all elements that satisfy the formula.
モデルでは、述語の真理集合は式を真にするすべての要素の集合です。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
