以下の (1)~(3) の式の意味を答えなさい。
また、 (4)(6) の命題を論理記号を用いて式で表しなさい。
ただし、 x|y の意味は以前に説明した通り。
P(x) は x の多項式であるとする。
Nは自然数全体の集合、 R は実数全体の集合とする。
x2 の形の式の入力の仕方がわからなければ、 x^2 のように書くこと。
段落
BIE
(1) ∀x ∈N(6 x 3 | x) の意味:
0000000000
(2) vx ∈ R (P(x)=0x>0)の意味:
0000000000
(3) vk ∈ R (ヨ!x ∈ R (x3-3x2 = k) →k> 0vk <-4) の意味:
E
: 0000000000
(4) x2が正であっても x が正であるとは限らない.」 を表す式:
(注: x は実数を動く変数とする.)
0000000000
(5) 「b,cがどんな実数であっても、 x の方程式x2+bx+c=0は複素数の解を持つ」 を表す式:
0000000000
(6) 「a,bが任意の実数であるとき, ax+b=0が実数x についての恒等式ならば, a もbも0である」を表す式:
: 0000000000
A