I am preparing to study mathematical linguistics and I must first master elementary statement and predicate logic. I have absolutely no background in formal systems or logic, and I would need an introductory text that assumes no previous knowledge of such things. Can anyone recommend a book on this topic that (preferably) includes exercises and would cover at least the following points:
*Logic syntax and semantics
*Tautologies, contradictions, contingencies
If possible, one available in pdf form would be wonderful!
Thank you very much in advance for any recommendations.