形けい式しき論ろん理り学がく

noun

formal logic

Academic term for the study of logical systems based on formal rules and symbolic representations, as opposed to informal reasoning.

• 形けい式しき論ろん理り学がくは、推すい論ろんの妥だ当とう性せいを形けい式しき的