这篇内容涉及离散数学的符号化表达，包括奇偶性、比较、平行关系、逻辑联结词等多个概念的符号化过程，适用于学习离散数学的学生进行习题解答和理解。
是河北人。
a
：老王。
“老王是山东人或河北人。
”符号化为：
A
(
a
)
B
(
a
)
(4)
2
与
3
都是偶数。
解：
设
A
(
x
)
：
x
是偶数。
a
：
2
，
b
：
3
。
“
2
与
3
都是偶数。
”符号化为：
A
(
a
)
∧
A
(
b
)
(5)
5
大于
3
。
解：
设
G
(
x
,
y
)
：
x
大于
y
。
a
：
5
。
b
：
3
。
“
5
大于
3
。
”符号化为：
G
(
a
,
b
)
(6)
若
m
是奇数，则
2
m
不是奇数。
解：
设
A
(
x
)
：
x
是奇数。
a
：
m
。
b
：
2
m
。
“
若
m
是奇数，则
2
m
不是奇数。
”符号化为：
A
(
a
)
→
A
(
b
)
(7)
直线
A
平行于直线
B
当且仅当直线
A
不相交于直线
B
。
解：
设
C
(
x
,
y
)
：直线
x
平行于直线
y
。设
D
(
x
,
y
)
：直线
x
相交于直线
y
。
a
：直线
A
。
b
：直线
B
。
“
直线
A
平行于直线
B
当且仅当直线
A
不相交于直线
B
。
”符号化为：
C
(
a
,
b
)
↔
¬
D
(
x
,
y
)
(8)
小王既聪明又用功，但身体不好。
解：
设
A
(
x
)
：
x
聪明。
B
(
x
)
：
x
用功。
C
(
x
)
：
x
身体好。
a
：小王。
“小王既聪明又用功，但身体不好。
”符号化为：
A
(
a
)
∧
B
(
a
)
∧
¬
C
(
a
)
(9)
秦岭隔开了渭水和汉水。
解：
设
A
(
x
,
y
,
z
)
：
x
隔开了
y
和
z
。
a
：秦岭。
b
：渭水。
c
：汉水。
“秦岭隔开了渭水和汉水。
”符号化为：
A
(
a
,
b
,
c
)
(10)
除非小李是东北人，否则她一定怕冷。
解：
设
A
(
x
)
：
x
是东北人。
B
(
x
)
：
x
怕冷。
a
：小李。
“除非小李是东北人，否则她一定怕冷。
”符号化为：
B
(
a
)
→
¬
A
(
a
)
2
．将下列命题符号化。并讨论它们的真值。
(1)
有些实数是有理数。
解：
设
R
(
x
)
：
x
是实数。
Q
(
x
)
：
x
是有理数。
“有些实数是有理数。
”符号化为：
(
x
)(
R
(
x
)
∧
Q
(
x
))
870
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
