利用谓词的约束变元的换名规则和自由变元的代入规则,可将公式改写成______.
A.(x)(P(y)→Q(x,y))∧R(z,s)
B.(z)(P(z)→Q(z,s))∧R(x,s)
C.(x)(P(s)→Q(x,s))∧R(x,s)
D.(z)(P(s)→Q(z,s))∧R(z,s)
- · 有6位网友选择 A,占比22.22%
- · 有4位网友选择 B,占比14.81%
- · 有3位网友选择 B,占比11.11%
- · 有3位网友选择 C,占比11.11%
- · 有3位网友选择 B,占比11.11%
- · 有3位网友选择 C,占比11.11%
- · 有2位网友选择 D,占比7.41%
- · 有1位网友选择 A,占比3.7%
- · 有1位网友选择 A,占比3.7%
- · 有1位网友选择 D,占比3.7%