这些题我实在不会,

来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/06 02:38:02
这些题我实在不会,这些题我实在不会,这些题我实在不会,以下以A代表全称量词,E代表存在量词.1、ExP(x)附加前提引入2、P(c)1EI3、AxAy(P(x)→Q(y))4、Ay(P(c)→Q(y)

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

这些题我实在不会,
以下以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