这些题我实在不会,
来源:学生作业帮助网 编辑:作业帮 时间: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
收录互联网各类作业题目,免费共享学生作业习题
哈勃学习网手机作业共收录了 千万级 学生作业题目
来源:学生作业帮助网 编辑:作业帮 时间: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