逻辑学！！比赛的题目 ·· 跪求神哥指点！！！

来源：百度知道 编辑：UC知道 时间：2024/06/14 02:04:21
一场比赛，教练根据ABCDEF队员的特长分组并得出结论：除非D或E上场，F才上场。
1.只要B或C上场，A就上场
2.并非B、D都不上场
3.或者C上场，或者E上场
4.只有F不上场，A 才上场

请用形式证明的方法， 证明上述推理的有效性！

设A上场为p，B上场为q，C上场为r，D上场为s，E上场为t,F上场为u
则上面的条件可以转化为
1、(q∨r)→ p
2、q∨s
3、r∨t
4、-u→ p
一个命题的逆否命题和它的真值形式是相同的，因此可以把1和4转化为它们的逆否命题1可以转化为-q∧-r∧p；2可以转化为u∧p,由此可知，q假r假u真p真，由2式得出，s真，由3式得出，t真。
由此得出结论