求教一道逻辑题 高手进!根据下列条件,请用形式证明的方法判断A、B、C、D、E五个人中,谁上场,谁不上场.1.或者A上场,或者C不上场2.除非C和D都上场,E不上场3.或者B上场而D不上场,或者B不上场而

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/05 06:48:58

求教一道逻辑题 高手进!
根据下列条件,请用形式证明的方法判断A、B、C、D、E五个人中,谁上场,谁不上场.
1.或者A上场,或者C不上场
2.除非C和D都上场,E不上场
3.或者B上场而D不上场,或者B不上场而D上场
4.只要C和D至多有一人上场,E就上场

你确定你的题目没问题吗?
2是【除非P,Q】的格式,它用命题表示是:【非P→Q】;对于本题就是:
  ┐(C∧D)→┐E;
4中,【至多有一人上场】等价于【1人上场或无人上场】,对于只说两人的4,又等价于【至少1人不上场】,所以4的命题表示是:
  (┐C∨┐D)→E;
根据德摩根律,可知:4中的前提与2中的前提是等价的;而它们的结论是矛盾的;所以唯一的可能就是:前提为假;即:
  C∧D:C 和 D 都上场.

你先看看你的题目有没有问题.