这些题我实在不会,

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/30 07:18:24

这些题我实在不会,
这些题我实在不会,

这些题我实在不会,
以下以A代表全称量词,E代表存在量词.
1、ExP(x) 附加前提引入
2、P(c) 1EI
3、AxAy(P(x)→Q(y))
4、Ay(P(c)→Q(y)) 3Ui
5、P(c)→Q(z) 4Ui
6、Q(z) 25假言推理
7、AyQ(y) 6EG