形けい式しき論ろん理り

け

い

し

き

ろ

ん

り

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.