Chinese edit

For pronunciation and definitions of – see 符號邏輯 (“symbolic logic”).
(This term is the simplified form of 符號邏輯).
Notes: