形けい式しき論ろん理り

け

い

し

き

ろ

ん

り

Meanings

1

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.
彼かれの議ぎ論ろんは形けい式しき論ろん理りに従したがって厳げん密みつに構こう成せいされている。
His argument is rigorously structured according to formal logic.