Chinese edit

For pronunciation and definitions of – see 形式邏輯 (“formal logic”).
(This term is the simplified form of 形式邏輯).
Notes: