計算機科学のブログ

命題論理 命題 述語 真理値、真と偽

情報系のための離散数学 (猪股 俊光 (著)、南野 謙一 (著)、共立出版 )の第1章(命題論理)、1.1(命題)、1.1.2(述語)、問題1.2の解答を求めてみる。

a

3 · 2 = 6 ≤ 9

偽。

b

x 2 - 2 x + 1 = 0 ( x - 1 ) 2 = 0

真。

c

42 = 3 · 14

真。

d

10 = 3 · 3 + 1

偽。

3 2 > 3^2
Output
Solve[x^2 - 2x + 1 == 0, x]
Output
x /. %

{1, 1}
42 / 3

14
10 / 3
Output