noun, noun which may take the genitive case particle 'no'
symbolic logic
A branch of logic that uses symbols and formal systems, often overlapping with mathematical logic. Used in philosophy, mathematics, and computer science.
See also: 数理論理学
記号論理学は、命題を記号で表して推論を行う。
Symbolic logic represents propositions with symbols and performs reasoning.
この授業では記号論理学の基礎を学ぶ。
In this class, we learn the basics of symbolic logic.