• 2021-04-14
    【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。
    A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y )
    B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y )
    C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y )
    D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )