命題論理 命題 命題と真理値 命題ではない式や文
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.1(命題)、1.1.1(命題と真理値)、問題1.1の解答を求めてみる。
命題ではない式の例
i < 1
複素数に通常の大小はない。
文の例
- 地球は大きい。
- ビルが高い
大きい、高いの定義がはっきりしてないから、どちらも真理値が定まらない。
情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.1(命題)、1.1.1(命題と真理値)、問題1.1の解答を求めてみる。
命題ではない式の例
i < 1
複素数に通常の大小はない。
文の例
大きい、高いの定義がはっきりしてないから、どちらも真理値が定まらない。