作业帮 > 语文 > 作业

划线部分是利用什么等价公式?

来源:学生作业帮 编辑:拍题作业网作业帮 分类:语文作业 时间:2024/04/26 01:53:12
划线部分是利用什么等价公式?
 
量词的辖域收缩与扩张等值式
再问: 能详细点吗,原公式是怎样的?
再答: 以E代表存在量词,A代表全称量词。 Ex(F(x)→B) (AxF(x)→B)。 Ax(B→F(x)) (B→AxF(x))。 其中B中不包含x。