The logician uses a symbolic notation to express these logical forms and to facilitate inference and tests of validity.

• 逻辑学家使用符号来表示那些逻辑形式，便于推论，也便于验证有效性。