Originally Posted by

**panglot** Hello All,

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

*Natural deduction?

If possible, one available in pdf form would be wonderful!

Thank you very much in advance for any recommendations.