一阶逻辑

From Wiktionary, the free dictionary
Jump to navigation Jump to search

Chinese[edit]

For pronunciation and definitions of – see 一階邏輯 (“first-order logic”).
(This term is the simplified form of 一階邏輯).
Notes: