Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

youdao

Formal logic is the study of inference with purely formal content, where that content is made explicit.

形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。

youdao

Formal logic is the study of inference with purely formal content, where that content is made explicit.

形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。

youdao