Question

For the following argument, construct a proof of the conclusion from the given premises. (3x)AX (x) (Cx Bx), (x) (BX) -Ax) 1: (2x)AX -(x)Cx