符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

Symbolic logic is often divided into two branches, propositional logic and predicate logic.

youdao

符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

Symbolic logic is often divided into two branches, propositional logic and predicate logic.

youdao