Hi guys,

Im excited about joining this community. I started a thread in the "welcome to new members" section so check it out.

I have three questions I'd like help with. If you could give any general tips for solving these types of problems and help me to solve them that would be great!

1) Derive in PDE the conclusion ~a=b from the premises: (Ax)(x=a ? ~Fx) and Fb.
2) Derive in PDE the conclusion (Ex)Rx from the premises: (Ax)(Px ? (Ey)(Qxy & Ry)) and (Ax)Px.
3) Derive in PDE the conclusion (Ex)(Ey) ~Gxy from the premises: (Ax)(Ay)(Gxy ? Hy) and (Ex) ~Hx.

I've used ? as a horseshoe, Ax as the universal quantifier and Ex as the existential qualifier.

Thanks in advance,
Carl