一阶逻辑

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.

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.