经典命题逻辑是现代形式逻辑的基础。

The classical proposition logic is the basis of modern formal logic.

你这个结论是按照形式逻辑的方法推论出来的。

You arrived at your conclusion using the methods of formal logic.

墨子教育思想的独特性涉及道德教育、实践教育、形式逻辑和科学技术等方面。

The unique feature of Mo-tse's education thoughts covers the aspects of moral education, practical education, formal logic and scientific technology, etc.

文章摘要：三段论思维要求审判建立在形式逻辑推演的基础上，是法律效果实现的有力保障。

Abstr: the thinking mode of syllogism requires the trial to be based on the deduction of formal logic, which can ensure the legal effects.