一阶逻辑

Chinese

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

Notes: Simplified Chinese is mainly used in Mainland China, Malaysia, and Singapore. Traditional Chinese is mainly used in Hong Kong, Macau, and Taiwan.