Which of the following is a correct use of UI inferring xFax

Which of the following is a correct use of UI?

inferring (x)Fax from (y)(x)Fxy

inferring ($y)Fay from ($y)(x)Fxy

inferring ($x)(Fx Fxa) from ($x)(Fx (y)Fxy)

inferring (y)(Fy Ga) from (x)(y)(Fy Gx)

Solution

Which of the following is a correct use of UI?

inferring (x)Fax from (y)(x)Fxy

inferring ($y)Fay from ($y)(x)Fxy

inferring ($x)(Fx Fxa) from ($x)(Fx (y)Fxy)

inferring (y)(Fy Ga) from (x)(y)(Fy Gx)

Ans: inferring ($x)(Fx Fxa) from ($x)(Fx (y)Fxy)