Those of you not familiar ...

....  not familiar with very elementary first-order logic should consult some textbooks on the subject. There will be a lot of the out there. Just pick a textbook that suits your own taste.