公式yP(y)∧x(R(x)→Q(x))中,y约束出现了次( )。
·1.0
·2.0
·3。