This is a website that contains randomly-generated, self-correcting logic excercises.
It runs directly on your browser, so there is no need to download anything.

It was designed by Ariel RoffĂ© (UBA / UNQ / CONICET), with support from the BA-Logic group. For more information, see the FAQs.

It was designed by Ariel RoffĂ© (UBA / UNQ / CONICET), with support from the BA-Logic group. For more information, see the FAQs.

Propositional logic - Validity with truth tables

Propositional logic - Valuation functions

Propositional logic - Natural deduction

Predicate logic - Find a model

Predicate logic - Natural deduction