大学MOOC 离散数学(南京邮电大学)1450731163 最新慕课完整章节测试答案
第一篇章 数理逻辑
2-2 谓词逻辑
1、填空题：
所有教练员是运动员(J(x),L(x))；
答案: 【 (∀x)(J(x)→L(x))##%_YZPRLFH_%##∀x(J(x)→L(x))##%_YZPRLFH_%##(∀x) (J(x)→L(x))##%_YZPRLFH_%##(∀x) (J(x) → L(x))】
2、填空题：
某些运动员是大学生(S(x))；
答案: 【 (∃x)(L(x)∧S(x))##%_YZPRLFH_%##∃x(L(x)∧S(x))##%_YZPRLFH_%##(∃x)(L(x) ∧ S(x))##%_YZPRLFH_%##(∃x) (L(x)∧S(x))##%_YZPRLFH_%##(∃x)(L(x)∧S(x))】
3、填空题：
某些教练是年老的，但是健壮的(O(x),V(x));
答案: 【 (∃x)(J(x)∧O(x)∧V(x))】
4、填空题：
不是所有运动员都是教练。
答案: 【 ¬(∀x)(L(x)→J(x))##%_YZPRLFH_%##(∃x)(L(x)∧¬J(x))】
5、填空题：
某些大学生运动员是国家选手(C(x))；
答案: 【 (∃x)(S(x)∧L(x)∧C(x))##%_YZPRLFH_%##(∃x)(L(x)∧S(x)∧C(x))##%_YZPRLFH_%##∃x(S(x)∧L(x)∧C(x))】
6、填空题：
没有一个国家选手不是健壮的；
答案: 【 ¬(∃x)(C(x)∧¬V(x))##%_YZPRLFH_%##(∀x)(C(x)→V(x))##%_YZPRLFH_%##∀x(C(x)→V(x))】
7、填空题：
所有老的国家选手都是运动员；
答案: 【 (∀x)(O(
剩余75%内容付费后可查看