A-1アルゴリズム・プログラミング · 情報理論

命題

Proposition

めいだい

真か偽かがはっきり決まる文や式。「3は素数である」は真の命題であり、「この料理はおいしい」のように人によって判断が異なるものは命題ではない。命題を論理演算子で組み合わせて扱う体系を命題論理という。

共有:

他の資格での定義

正しい（真）か誤り（偽）かを客観的に判定できる文や式。「3は素数である」は命題だが、「3は大きい」は真偽が決まらないため命題ではない。命題を論理和、論理積、否定などで組み合わせて真偽を扱う体系を命題論理という。

Past Exams

過去問で 3 回出題（システムアーキテクト試験 2・基本情報技術者試験 1）

出典: 独立行政法人情報処理推進機構（IPA）の過去問題。問題文は IPA のサイトの PDF で確認できます。用語名で照合しているため、関係の薄い問題が含まれることがあります。