[FOM] Automatic generators for logic exercises/exams

[Charlie]

	    There are about a billion of them --  or....  maybe just very many.   For a long time (a decade?) several elementary logic texts come with discs for problem-solving.   One that many people seem to love is by Barwise and Etchemandy*&*, called _Language, Proof and Logic_.   You can download the first edition by clicking here.   If you can successfully pretend you're a logic teacher, you can obtain many such logic books from publisher reps.  (I assume you're not a logic teacher, because these reps inundate logic profs with free copies of their texts+discs.)
________________________________
*&* Etchemandy (and possibly Barwise too) think Tarski's Truth Definition is faulty.   Maybe there's something about this in their book.

Charlie

On Dec 12, 2013, at 3:05 PM, Sandro Skansi <skansi.sandro at gmail.com> wrote:

> Dear FOMers,
> 
> Does anyone know if someone is already working to program a program to generate exercises/exams for truth tables, semantic trees and natural deduction automatically? And do they generate also the answers? I know this is probably already done, but I cannot find anything on the internet about this, so I decided to ask you for help.
> 
> Thank you all,
> 
> Regards,
> 
> Sandro
> 
> 
> 
> Visit my homepage at www.logic101.net!
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20131221/188661bf/attachment.html>