formal logic

Noun

countable uncountable

(logic) Mathematical logic. / (logic) A particular logical calculus.

Japanese Meaning

数学的論理学 / 特定の論理計算体系

Graduate students studying computer science often take courses in formal logic to improve their reasoning skills.

コンピュータサイエンスを学ぶ大学院生は、推論力を高めるために数理論理学の講義を履修することが多い。

Sense（1）

(logic) Mathematical logic.

Sense（2）

(logic) A particular logical calculus.

formal logics

（ plural ）