國(guó)開(kāi)(中央電大)本科離散數(shù)學(xué)(本)網(wǎng)上形考(任務(wù)一至三)試題及答案-資料下載頁(yè)
2025-10-08 15:08本頁(yè)面
【正文】 答案]x是約束變?cè)?，y都是自由變?cè)猍題目]設(shè)個(gè)體域D={a,b,c}，那么謂詞公式消去量詞后的等值式為（）．[答案][題目]設(shè)個(gè)體域D是整數(shù)集合，則命題的真值是（）．[答案]T[題目]前提條件P→┐Q2P的有效結(jié)論是（）．[答案]┐Q判斷題[題目]設(shè)P：小王來(lái)學(xué)校，Q：他會(huì)參加比賽．那么命題“如果小王來(lái)學(xué)校，則他會(huì)參加比賽”符號(hào)化的結(jié)果為P→Q．（）[答案]對(duì)[題目]設(shè)P：昨天下雨，Q：今天下雨．那么命題“昨天下雨，今天仍然下雨”符號(hào)化的結(jié)果為P∧Q．（）[答案]對(duì)[題目]設(shè)P：我們下午2點(diǎn)去禮堂看電影，Q：我們下午2點(diǎn)去教室看書．那么命題“我們下午2點(diǎn)或者去禮堂看電影或者去教室看書”符號(hào)化的結(jié)果為P∨Q．（）[答案]錯(cuò)[題目]設(shè)P：他生病了，Q：他出差了，R：我同意他不參加學(xué)習(xí)．那么命題“如果他生病或出差了，我就同意他不參加學(xué)習(xí)”符號(hào)化的結(jié)果為(P∨Q)→┐R．（）[答案]錯(cuò)[題目]命題公式P→(Q∨P)的真值是T．（）[答案]對(duì)[題目]命題公式┐P∧P的真值是T．（）[答案]錯(cuò)[題目]命題公式┐P∧(P∨Q)=Q成立．（）[答案]對(duì)[題目]命題公式┐P∧(P→┐Q)∨P為永真式．（）[答案]對(duì)[題目]命題公式┐(P→Q)的主析取范式是P∨┐Q．（）[答案]錯(cuò)[題目]含有三個(gè)命題變項(xiàng)P，Q，R的命題公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．（）[答案]對(duì)[題目]設(shè)P(x)：x是人，Q(x)：x去上課，那么命題“有人去上課．”為(?x)(P(x)→Q(x))．（）[答案]錯(cuò)[題目]設(shè)P(x)：x是人，Q(x)：x學(xué)習(xí)努力，那么命題“所有的人都學(xué)習(xí)努力．”為(?x)(P(x)∧Q(x))．（）[答案]錯(cuò)[題目]設(shè)個(gè)體域D＝{1,2,3}，A(x)為“x小于3”，則謂詞公式(?x)A(x)的真值為T．（）[答案]對(duì)[題目]設(shè)個(gè)體域D＝{1,2,3,4}，A(x)為“x大于5”，則謂詞公式(?x)A(x)的真值為T．（）[答案]錯(cuò)[題目]謂詞公式┐(?x)P(x)(?x)┐P(x)成立．（）[答案]對(duì)[題目]謂詞命題公式(?x)((A(x)∧B(x))∨C(y))中的自由變?cè)獮閤．（）[答案]錯(cuò)[題目]謂詞命題公式(?x)(P(x)→Q(x)∨R(x，y))中的約束變?cè)獮閤．（）[答案]對(duì)[題目]設(shè)個(gè)體域D＝{a,b},那么謂詞公式(?x)A(x)∨(?y)B(y)消去量詞后的等值式為A(a)∨B(b)．（）[答案]錯(cuò)[題目]設(shè)個(gè)體域D＝{a,b}，則謂詞公式(?x)(A(x)∧B(x))消去量詞后的等值式為(A(a)∧B(a))∧(A(b)∧B(b))．（）[答案]對(duì)[題目]下面的推理是否正確．（）(1)(?x)A(x)→B(x)前提引入(2)A(y)→B(y)US(1)[答案]錯(cuò)
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1