Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
15 lines (9 sloc) 590 Bytes


TryLogic is an online propositional logic parser inspired by TryHaskell and TryRuby.

The objective is to help High School and Junior students with their logic exercises. All formula evaluators I've found are old, ugly and/or too complex for newbies.

There's still no “help” and other learning stuff, but it's open source, so if you're interested in helping just fork and contribute.


  • “help” command

  • Links to classical formulas link contradictions (p∧¬p), tautologies (p→p), De Morgan,

  • quantified propositional logic (maybe)