> >Can anybody recommend any good (teaching) books on the subject? > > I don't expect this to make it to the list, but here goes: > > Deductive Logic: An Introduction to Evaluation Techniques and Logical Theory > By Richard Behling > > Exercises in Sentential Logic > By Richard W. Behling
Hey! It got through. Those books can be a little hard to come by, but I think they're good. Dr. Behling also happened to be my logic prof. I spent hours and hours ensconced in proofs. And I've got little to show for it now. :-) BTW, modus "pollens" should be modus ponens. It means "method of adding". It's a rule of inference that basically says: If you have P and you know that from P comes Q, then you have Q. Modus tollens means "method of subracting". So if you know that you don't have Q and from P comes Q, then you don't have P. Here's a decent primer to sentential logic: http://mathforum.org/dr.math/faq/symbolic_logic.html The symbology is slightly different than I used, but the concepts are the same. -Kevin ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~| Purchase from House of Fusion, a Macromedia Authorized Affiliate and support the CF community. http://www.houseoffusion.com/banners/view.cfm?bannerid=35 Message: http://www.houseoffusion.com/lists.cfm/link=i:5:133578 Archives: http://www.houseoffusion.com/cf_lists/threads.cfm/5 Subscription: http://www.houseoffusion.com/lists.cfm/link=s:5 Unsubscribe: http://www.houseoffusion.com/cf_lists/unsubscribe.cfm?user=89.70.5 Donations & Support: http://www.houseoffusion.com/tiny.cfm/54
