Synonyms
- en functional calculus (n, cognition) ➜
- fi predikaattilogiikka (n, cognition) ➜
- fr calcul des prédicats (n, cognition) ➜
- ja 述語論理 (n) ➜
- ja 述語論理 (n, cognition) ➜
- th แคลคูลัสภาคแสดง (n, cognition) ➜
- de prädikatenlogik ➜
- fi predikaattilogiikka ➜
- fr calcul des prédicats ➜
- is umsagnareikningur ➜
- mk предикатна пресметка ➜
- sh predikatni račun ➜
- sv predikatlogik ➜
Related terms
- en existential quantifier (n) ➜
- en domain of discourse ➜
- en member ➜
- en predicate logic ➜
- en quantified ➜
- en statement ➜
- fr calcul des prédicats ➜
- en predicate logic (n) ➜
- en quantifier (n) ➜
- en universal quantifier (n) ➜
- sh predikatni račun (n) ➜
Parts of predicate calculus
- en quantification (n, cognition) ➜
- en existential quantifier ➜
- en existential quantifier (n) ➜
- en universal quantifier ➜
- en universal quantifier (n) ➜
predicate calculus is a type of…
- en symbolic logic (n, cognition) ➜
- en logical calculus (n) ➜
- en logical calculus ➜
Links to other resources
- wordnet-rdf.princeton.edu 106175080-n
- en.wiktionary.org predicate calculus
- fr.wiktionary.org predicate calculus