Free Logic Practice
The Place for Logic Problems
Does your college, university or high school logic class assign derivations? Looking for practice derivations and other logic problem practice? You've come to the right place: you can do logic problems here at the Logic Resource Center absolutely free. Don't see the system from your class? Contact us to request that we add it!
Start a Guest Session- Six logical systems, more on the way
- We have good versions of several commonly assigned systems. If yours isn't here now we may have one similar enough for practice.
- Make your own problems
- You can create or replicate any problem you want - often copying and pasting will work. Propositional and Predicate Logic are all covered and we wil be adding systems for non-classical logics soon.
- Bilateral Tableaux
- We offer what to our knowledge is the only logic education software in the world that handles bilateral tableaux proofs.
- Work with a friend
- You can work together with a friend on any problem in realtime. Are you a tutor? Just share a problem and pair up with your student as usual.