考试
1970-01-01 08:00:00

对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的

题目描述

对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代入,则表示为: (∀x)(P(z)∧R(x,y))→(∃y)Q(y)。

答案解析

加载中...
AI正在思考中,请稍候...