一階述語論理
1. Predicate logicIn mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified. Two common quantifiers are the existential ∃ ("there exists") and universal ∀ ("for all") quantifiers.
Read “Predicate logic” on English Wikipedia
Read “一階述語論理” on Japanese Wikipedia
Read “Predicate logic” on DBpedia
Read “Predicate logic” on English Wikipedia
Read “一階述語論理” on Japanese Wikipedia
Read “Predicate logic” on DBpedia
Discussions
Log in to talk about this word.