記き号ごう論ろん理り学がく

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.