[FOM] Automatic generators for logic exercises/exams

[Sandro Skansi]

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!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20131213/1c403381/attachment.html>