Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
e)
m
3
E
N
ż3
x
E
R
x
>
m
.Zdaniefałszywe.
f)
x
v
E
R
(
x
<
0
3
x
2<
0
)
.Zdaniefałszywe.
g)
(
|
|
k
m
3
E
N
m
>
0
N
|
|
)
3
(
|
|
k
x
3
E
R
x
<
0
N
|
|
)
.Zdanieprawdziwe.
h)
v
m
v
n
(
n
=
m
2
^
n
E
N
3
m
E
N
)
.Zdaniefałszywe.
i)
x
3
E
R
n
3
E
N
(
ż
x
E
N
^
x
2
=
n
)
.Zdanieprawdziwe.
j)
v
ε
>
0
M
3
E
N
m
v
E
N
(
m
>
M
3
f
()
m
-
g
<
ε
)
.
Wyrażenie
nie
jest
zdaniemlogicznym(niewiemynicox0,ganifunkcjif),więc
niemożnaokreślićjegowartościlogicznej.
3.Zaprzeczeniawyrażeń:
a)
x
3
E
R
x
2Ś
0
;
b)
x
3
E
R
x
2<
0
;
c)
v
x
E
R
x
2Ś
0
;
d)
v
x
E
R
x
22
0
;
e)
x
,
3
y
E
R
x
2
+
y
2
+
1
Ś
0
;
f)
x
v
,
y
E
R
x
+
y
2
-
5
;
g)
m
3
E
N
v
x
E
R
m
x
Ś
9932
;
h)
m
v
,
n
E
N
x
3
E
R
mn
#
mx
;
i)
x
3
E
R
m
v
E
N
(
x
-
m
)
22
0
;
j)
ε
3
>
0
v
δ
>
0
x
3
E
R
(
x
-
x
0
<
δ
^
f
()
x
-
g
2
ε
).
22
