First Order Validities

Question

I'm having a hard time solving first order formulae for checking validities. Every question I see here is either assuming some statements or writing generic statements like: for all x, if p holds then q holds etc...

Can anyone tell me another methods (may be using quantifier inferences or any other method) or suggest some readings on this topic.

 

Thanks Guys...

Comments

Have you seen those questions here or from GO PDF? I have given explanations by using English statements which is not a standard way but is still a correct and easy way if one can apply properly. But first order logic works on sets and so basic of set theory is needed to be done first.

---

I've seen them both here and the book. I'm not able to comprehend those english statements :(.
I tried using rules of inferences like u.i,e.i etc...with which I'm able to answer simple monodic functions....

If you can redirect me to a better source on that matter, it'll be helpful.

Thanks...

---

I have listed all useful links I have found here:

http://gatecse.in/mathematical-logic/