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

noun

formal logic

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

• 形けい式しき論ろん理り学がくは、推すい論ろんの妥だ当とう性せいを形けい式しき的てきに扱あつかう学がく問もんです。

  Formal logic is the study that deals with the validity of reasoning in a formal way.