同義語 記号論理学

Japanese WordNet / Princeton WordNet

1. 記号論理学noun

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

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

   Synonym(s): 形式論理, 形式論理学, 数学的論理学, formal logic, mathematical logic, symbolic logic

   Hyponym: ブーリアン・ロジック, ブール代数, ブール論理, 命題論理, 述語論理, boolean algebra, boolean logic, functional calculus, fuzzy logic, modal logic, predicate calculus, propositional calculus, propositional logic

   Hypernym(s): 論理, logic, logical system, system of logic