Material Detail

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties that were hard to discern in English become clearer in the formal language. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises, and solutions to selected exercises appear in an appendix. The book is designed to provide a semester’s worth of material for an introductory college course.

This will delete the comment from the database. This operation is not reversible. Are you sure you want to do it?

Thank you for reporting a broken "Go to Material" link in MERLOT to help us maintain a collection of valuable learning materials.

If you feel this material is inappropriate for the MERLOT Collection, please click SEND REPORT, and the MERLOT Team will investigate. Thank you!

You are being taken to the material on another site. This will open a new window.

Do not show me this again