东大20春学期《离散数学X》在线平时作业3【标准答案】.pdfVIP

20 春学期 《离散数学 X》在线平时作业 3 20 春学期 《离散数学 X》在线平时作业 3 试卷总分:100 得分:100 试卷总分:100 得分:100 一、单选题 (共 10 道试题,共 40 分) 一、单选题 (共 10 道试题,共 40 分) 1.{图} 1.{图} A.{图} A.{图} B.{图} B.{图} C.{图} C.{图} D.{图} D.{图} 答案:C 答案:C 2.{图} 2.{图} A.{图} A.{图} B.{图} B.{图} C.{图} C.{图} D.{图} D.{图} 答案:D 答案:D 3.{图} 3.{图} A.重言式 A.重言式 B.矛盾式 B.矛盾式 C.无法确定 C.无法确定 D.不知道 D.不知道 答案:A 答案:A 4.下面是 4.下面是 xC (x), $x (A (x)Uacute;B (x)), x (B (x)?Oslash ;C (x)) THORN ; $xA (x) xC (x), $x (A (x)Uacute;B (x)), x (B (x)?Oslash ;C (x)) THORN ; $xA (x) 的谓词推理过程。在这个过程中每一步中的 （ ）处是此步所用的推理规则。请写出这些推 的谓词推理过程。在这个过程中每一步中的 （ ）处是此步所用的推理规则。请写出这些推 理规则。 理规则。 ⑴ $x (A (x)Uacute;B (x)), ( ) ⑴ $x (A (x)Uacute;B (x)), ( ) ⑵ A (a)Uacute;B (a) ( ) ⑴ ⑵ A (a)Uacute;B (a) ( ) ⑴ ⑶ xC (x) ( ) ⑶ xC (x) ( ) ⑷ C (a) ( ) ⑶ ⑷ C (a) ( ) ⑶ ⑸ x (B (x)→Oslash ;C (x)) ( ) ⑸ x (B (x)→Oslash ;C (x)) ( ) ⑹ B (a)→Oslash ;C (a) ( ) ⑸ ⑹ B (a)→Oslash ;C (a) ( ) ⑸ ⑺ Oslash ;B (a) ( ) ⑷ ⑹ I12 ⑺ Oslash ;B (a) ( ) ⑷ ⑹ I12 ⑻ A (a) ( ) ⑵ ⑺ I10 ⑻ A (a) ( ) ⑵ ⑺ I10 ⑼ $xA (x)) ( ) ⑻ ⑼ $xA (x)) ( ) ⑻ A.⑴ P；⑵ US；⑶ T；⑷ UG；⑸ P；⑹ UG；⑺ P；⑻ T；⑼ UG。 A.⑴ P；⑵ US；⑶ T；⑷ UG；⑸ P；⑹ UG；⑺ P；⑻ T；⑼ UG。 B.⑴ P；⑵ T； ⑶ T；⑷ UG；⑸ P；⑹ US；⑺ P；⑻ T；⑼ ES。 B.⑴ P；⑵ T； ⑶ T；⑷ UG；⑸ P；⑹ US；⑺ P；⑻ T；⑼ ES。 C.⑴ P；⑵ ES；⑶ P；⑷ US；⑸ P；⑹ US；⑺ T；⑻ T；⑼ EG。 C.⑴ P；⑵ ES；⑶ P；⑷ US；⑸ P；⑹ US；⑺ T；⑻ T；⑼ EG。 D.⑴ P；⑵ EG；⑶ T；⑷ UG；⑸ P；⑹ UG；⑺ P；⑻ T；⑼ EG。 D.⑴ P；⑵ EG；⑶ T；⑷ UG；⑸ P；⑹ UG；⑺ P；⑻ T；⑼ EG。 答案:C 答案:C 5.{图} 5.{图} A.重言式 A.重言式 B.矛盾式 B.矛盾式 C.无法确定 C.无法确定 D.不知道 D.不知道 答