symbolic logic マイ単語帳に追加

形式論理 記号論理学

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系。