《离散数学作业》第 1 页(共 7 页)华南理工大学网络教育学院-学年度第一学期《离散数学》作业解答必须手写体上传,否则酌情扣分)1
设命题公式为「QA(PTQ)T「P
(1)求此命题公式的真值表;(2)求此命题公式的析取范式;(3)判断该命题公式的类型
用直接证法证明前提:PVQ,PTR,QTS 结论:SVR《离散数学作业》第 2 页(共 7 页)3.在一阶逻辑中构造下面推理的证明每个喜欢步行的人都不喜欢坐汽车
每个人或者喜欢坐汽车或者喜欢骑自行车
有的人不喜欢骑自行车
因而有的人不喜欢步行
令 F(x):x 喜欢步行
G(x):x 喜欢坐汽车
H(x):x 喜欢骑自行车
《离散数学作业》第 3 页(共 7 页)C 吊丿 74
用直接证法证明:前提:(Vx)(C(x)fW(x)AR(x)),(3x)(C(x)AQ(x))结论:Gx)(Q(x)AR(x))
MfimoNo(5(厂3"订⑴ ) 玉 r蒂弦車3~rf2 丄1£《离散数学作业》第 4 页(共 7 页)5
设 R 是集合 A={1,2,3,4,6,12}上的整除关系
(1)给出关系 R;(2)给出 COVA(3)画出关系 R 的哈斯图;(4)给出关系 R 的极大、极小元、最大、最小元
《离散数学作业》第 5 页(共 7 页)卜回日可可下霊 1°Not 憂煙^片壬 fkZ 心片―么丿君上邂務制
「I 亠逹盪GvM __ I—⑵ 醃嫌程购阕—-「■⑷ 為关耘如兀稠淀,做