predicate logic
ナビゲーションに移動
検索に移動
English[編集]
Noun[編集]
predicate logic (plural predicate logics)
- (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
- (logic) First-order logic.
Hyponyms[編集]
Derived terms[編集]
Related terms[編集]
Translations[編集]
generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic
|