formal logic

可算名詞不可算名詞

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

日本語の意味

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

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

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

意味（1）

(logic) Mathematical logic.

意味（2）

(logic) A particular logical calculus.

formal logics

（ plural ）