Learn Logic & Formal Reasoning

Start with the guides. They are ordered as a reading path rather than an alphabetical list, and the index shows each guide's step number and the level it assumes. Telling the site how much logic you already know moves your starting point to the first guide at that level; the guides before it stay on the index as background reading.

They say how much logic a guide assumes you already have, not how hard it is to read. The reading path never goes backwards through the levels, so once you have picked one you can read forward from your starting point without landing on a guide that depends on one you skipped.

Yes, in this browser. Marking a guide as read updates the progress count on the index and the 'up next' suggestion at the end of each guide, which points at the first guide after this one you have not read yet. Nothing is sent anywhere, and clearing your site data resets it.

Read enough of a guide to recognise the notation, then practise. The exercises are grouped by the same topics the guides cover, so the usual rhythm is a guide, then exercises in that category, then the next guide once the answers start coming easily.

Propositional logic focuses on the relationships between propositions using logical operators, while Boolean algebra is a mathematical structure dealing with binary values (true/false or 1/0). Both are supported by this calculator and use similar operators.