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

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: 数理論理学

• 記き号