命題論理
めいだいろんり
名詞
標準
propositional logic
文例 · 用例
カリキュラムで命題論理学の基礎を取り扱う時期になって、桜井はこのテーマならエレクトロニクスに対する松本の興味と数学の授業への関心を結びつけてくれるのではないかと考えた。
— 富田倫生 『パソコン創世記』 青空文庫
コンピューターの論理回路は、命題論理学の演算をエレクトロニクスの素子によって実行させたものである。
— 富田倫生 『パソコン創世記』 青空文庫
ならばコンピューターをきっかけとすれば、松本は学校の命題論理学の授業に興味を持つのではないか。
— 富田倫生 『パソコン創世記』 青空文庫
作例 · 標準
命題論理の基礎を理解することは、プログラミングの条件分岐を学ぶ上でも役立つ。
Illusions AI · gemini-3-flash-preview
彼はベン図を使って、命題論理における包含関係を分かりやすく説明した。
Illusions AI · gemini-3-flash-preview
記号論理学の第一歩として、まずは命題論理の真理値表から勉強し始めた。
Illusions AI · gemini-3-flash-preview
ウィキペディア
命題論理 とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。
出典: 命題論理 — ウィキペディア / CC BY-SA 4.0