用語

J-GLOBAL ID：200906066589030343

命題論理

数学

論理学編 / 命題計算 / propositional calculus , Aussagen-kalkul(]LGGer.[)
論理学編 / 命題計算 / Aussagenkalkul(]LGGer.[)
言語学編 / 命題論理学 / propositional logic
論理学編 / 文計算 / Aussagenkalkul(]LGGer.[)

同義語 (3件)：

命題計算 (propositional calculus)
命題計算について
- 「命題計算」ですべてを検索
命題計算 (propositional calculation)
命題計算について
- 「命題計算」ですべてを検索
命題論理学 (propositional logic)
命題論理学について
- 「命題論理学」ですべてを検索

関連語 (3件)：

論理演算 (logical operation)
論理演算について
- 「論理演算」ですべてを検索
- この用語の用語情報を見る
決定可能性 (decidability)
決定可能性について
- 「決定可能性」ですべてを検索
- この用語の用語情報を見る
シーケント計算 (sequent calculus)
シーケント計算について
- 「シーケント計算」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

論理 (Logic)
論理について
- 「論理」ですべてを検索
- この用語の用語情報を見る

下位語 (2件)：

非可解性 (unsolvability)
非可解性について
- 「非可解性」ですべてを検索
- この用語の用語情報を見る
一階述語論理 (first-order predicate logic)
一階述語論理について
- 「一階述語論理」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM