In predicate logic, the universal quantifier is used to assert that a property holds for every element of a domain.
述語論理では、全称量化子（∀）はある述語が対象の集合のすべての要素について成り立つことを示すために用いられます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
