Khan/khan-exercises — pull request #14881 by rcourtie (2012-02-28 22:20:46+00:00)
Title: A simple exercise for modus tollens.

Very basic, but it cycles through different letters for the logical statements.