20春学期《离散数学X》在线平时作业3

adminhan · 发表于 2020-8-8 19:01:01

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253392820811.bmp"></img>
A:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253393099402.bmp"></img>
B:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253393240813.bmp"></img>
C:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253393403154.bmp"></img>
D:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253393542845.bmp"></img>

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12257656827651.bmp"></img>
A:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12257657027962.bmp"></img>
B:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12257657182653.bmp"></img>
C:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12257657315624.bmp"></img>
D:<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12257657514535.bmp"></img>

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12252476675311.bmp"></img>
A:矛盾式
B:重言式
C:无法确定
D:不知道

下面是<o:p></o:p><span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">"xC(x),  <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">$x(A(x)<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ÚB(x)),   <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">"x(B(x)<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">®<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ØC(x))  <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">Þ <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">$xA(x)<o:p></o:p>的谓词推理过程。在这个过程中每一步中的（  ）处是此步所用的推理规则。请写出这些推理规则。<o:p></o:p>⑴ <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">$x(A(x)<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ÚB(x)),      (    )<o:p></o:p>⑵ A(a)<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ÚB(a)              (    )  ⑴<o:p></o:p>⑶ <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">"xC(x)                   (    )    ⑷ C(a)                        (     )  ⑶  <o:p></o:p>⑸ <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">"x(B(x)→<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ØC(x))    (    ) <o:p></o:p>⑹ B(a)→<span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ØC(a)          (    )  ⑸<o:p></o:p>⑺ <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">ØB(a)                      (    )  ⑷ ⑹ I12<o:p></o:p>⑻ A(a)                        (    )  ⑵ ⑺ I10<o:p></o:p>⑼ <span lang="EN-US" style="FONT-FAMILY: Symbol; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-char-type: symbol; mso-symbol-font-family: Symbol; mso-bidi-font-weight: bold">$xA(x))                   (    )   ⑻<o:p></o:p>
A:⑴ P；⑵ T； ⑶ T；⑷ UG；⑸ P；⑹ US；⑺ P；⑻ T；⑼ ES。<o:p></o:p>
B:   ⑴ P；⑵ EG；⑶ T；⑷ UG；⑸ P；⑹ UG；⑺ P；⑻ T；⑼ EG。<o:p></o:p>
C:   ⑴ P；⑵ ES；⑶  P；⑷ US；⑸ P；⑹ US；⑺ T；⑻ T；⑼ EG。<o:p></o:p>
D:  ⑴ P；⑵ US；⑶ T；⑷ UG；⑸ P；⑹ UG；⑺ P；⑻ T；⑼ UG。

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12252465743431.bmp"></img>
A:重言式
B:矛盾式
C:无法确定
D:不知道

X,Y 是有限集合，|X|=m，|Y|=n。可以构成 (       )个从X到Y的函数。
A:mn   
B: mn     
C:2mn      
D:nm 

令命题P表示“没有大学生不懂外语。”  下面命题(       )与P等价。<o:p></o:p>
A:有些大学生懂一些外语。<o:p></o:p>
B:    所有大学生都懂一些外语。<o:p></o:p>
C:    有些大学生懂所有外语。
D:    没有大学生懂所有外语。

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253274357031.bmp"></img>
A:等价
B:不等价
C:无法确定
D:不知道

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12253261108121.bmp"></img>
A:B:①：⑵⑶⑺⑻
B:B:②：⑶⑷⑻
C:B:③：⑶⑹⑺⑻
D:B:④：⑶⑺

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/12263081901091.bmp"></img>
A:f是满射，g是入射。
B:f是双射，g是双射
C:f是入射，g是满射。
D:f是入射，g是入射。

试题见图片<img height="384" width="512" alt="" src="http://file.open.com.cn/ItemDB/43594/fd1f5147-a9e5-4105-8480-90f647d697fa/2009101020251752.JPG" />
A:a图
B:b图
C:c图
D:d图
E:e图
F:f图
G:g图
H:h图
I:i图
J:j图

下面的命题公式中哪些是永真式，只写出题号即可<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123062290326512.bmp"></img>
A:1
B:2
C:3
D:4

多选填空题。给定集合A={1,2,3}，定义A上的等价关系如下：<o:p></o:p>S={<1,1>,<1,2>,<2,1>,<2,2>,<3,3>}<o:p></o:p>等价关系S中含有等价类  (         )。
A:{1}  
B:{2}     
C:{3}
D:{1,2}
E:{1,3}    
F: {2,3}   
G: {1,2,3}

<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123062356992111.bmp"></img>
A:A：⑴⑵⑶
B:B：⑴⑵⑷
C:C：⑵⑶⑷
D:D：⑴⑵⑶⑷

试题见图片<img height="384" width="512" alt="" src="http://file.open.com.cn/ItemDB/43594/aa0897be-b269-47c2-8596-f7af09723b49/20091010204014761.JPG" />
A:A图
B:B图
C:C图

设A={Φ}，B=P(P(A))。判断下面命题的真值。<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123069049348413.bmp" />
A:错误
B:正确

R是A上关系，判断下面命题的真值。<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123069173734311.bmp" />
A:错误
B:正确

判断题 。判断下面的说法是否正确。<o:p></o:p>R和S都是A上任何传递关系，则R∩S <span style="COLOR: black; FONT-FAMILY: 宋体; mso-ascii-font-family: 'Times New Roman'; mso-hansi-font-family: 'Times New Roman'; mso-bidi-font-size: 10.5pt; mso-ansi-language: ZH-CN; mso-bidi-font-family: 宋体; mso-bidi-font-weight: bold">也传递。<o:p></o:p>
A:错误
B:正确

设A={a,{a},{a,b},{{a,b},c}}，判断下面命题的真值。<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123068844868714.bmp" />
A:错误
B:正确

设A={a,{a},{a,b},{{a,b},c}}，判断下面命题的真值。<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123068830159312.bmp" />
A:错误
B:正确

设A={Φ}，B=P(P(A))。判断下面命题的真值。<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123069060918714.bmp" />
A:错误
B:正确

判断下面命题的真值<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123068787532812.bmp" />
A:错误
B:正确

R和S都是A上关系，判断下面命题的真值<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123069155251514.bmp" />
A:错误
B:正确

R和S都是A上关系，判断下面命题的真值<img alt="" src="http://file.open.com.cn/itemdb/dbdx/lisanshuxue/test/123069147623413.bmp" />
A:错误
B:正确

判断题，判断下面说法是否正确。<o:p></o:p>“对于整数集合I上的减法运算“－”来说， 0是幺元。”<o:p></o:p>
A:错误
B:正确

		自动登录	找回密码
密码			立即注册

20春学期《离散数学X》在线平时作业3

相关帖子