Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
like tryruby but for propositional logic.
Ruby JavaScript CoffeeScript
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
app
config
db
doc
lib
log
public
script
test
vendor
.DS_Store
.gitignore
.rvmrc
Gemfile
Gemfile.lock
README.rdoc
Rakefile
config.ru

README.rdoc

TryLogic

trylogic.heroku.com

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.

Roadmap

  • “help” command

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

  • quantified propositional logic (maybe)

Something went wrong with that request. Please try again.