Related terms
- cs predikátová logika (n) ➜
- de prädikatenlogik (n) ➜
- en existential instantiation (n) ➜
- en monadic predicate logic (n) ➜
- en predicate calculus (n) ➜
- en first order logic ➜
- en infinitary logic ➜
- en many sorted logic ➜
- en predicate calculus ➜
- en second order logic ➜
- en prenex normal form (n) ➜
- en relational model (n) ➜
- en term logic (n) ➜
- fi predikaattilogiikka (n) ➜
- nl predicatenlogica (n) ➜
Synonyms
- ja 述語論理 (n) ➜
- en logic (n) ➜
- fi predikaattilogiikka ➜
- is umsagnarökfræði ➜
- nl predicatenlogica ➜
Types of predicate logic
- en first order logic ➜
- en first order logic (n) ➜
- en infinitary logic ➜
- en many sorted logic ➜
- en second order logic ➜
Word forms
- en predicate logics (n) ➜
Links to other resources
- umbel.org /umbel/sc/PredicateLogic
- en.wiktionary.org predicate logic