本文へスキップ

命題論理とは?

めいだいろんり

命題変数論理演算子から成る論理の体系。

命題論理(命題計算)とは真か偽の値をとる命題変数をAND・OR・NOTなどの論理演算子で組み合わせた論理体系で、述語論理基礎になる。

使い方・例文

コンピュータ回路はAND・OR・NOT素子で命題論理の演算を実現している。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語