形けい式しき論ろん理り

noun

formal logic

Academic term for the study of logical form, deductive systems, and symbolic logic. Used in philosophy, mathematics, and computer science.

• 形けい式しき論ろん理りの基き礎そを学まなぶために、命めい題だい論ろん理りから始はじめましょう。

  To learn the basics of formal logic, let's start with propositional logic.

• 彼かれ