The Logic Kit

Online utilities for The Logic Book.

Sentential Logic – Syntax & Semantics

Check syntax, test consistency, and generate truth tables.

Sentential Logic – Derivations

Construct and annotate derivations.

Predicate Logic – Syntax

Check syntax.

Predicate Logic – Derivations

Construct and annotate derivations.