第一问答网»论坛 › 中问网 › 问答 › 2.符号化下列命题,并推证其结论每个大学生不是文科学生 ...

2.符号化下列命题,并推证其结论每个大学生不是文科学生就是理工科学生，有的大学生是优等生，小李不是理工

11 |

1 | 2020-3-20 16:32:53 | 显示全部楼层 |阅读模式

解: (1) 设P(x): x是一个大学生；S(x): x是文科生；Q(x): x是理科生；T(x): x是优等生；c:小张;则上述句子可符号为:(Ax)(P(x)→(Q(x)∨S(x)))，(Ex)(P(x)∧T(x))，гQ(c)^T(c) => P(c)→S(c)①гQ(c)∧T(c)
P规则②(Ax)(P(x)→(Q(x)∨S(x)) P③P(c)→(Q(c)∨S(c))
US②④P(c)
P(附加前提)⑤Q(c)∨S(c)T③④I⑥гQ(c)
T①I⑦S(c)
T⑤⑥I⑧P(c)→S(c)...

使用道具举报