Use these links to access the Logician's Toolkit utilities.
Each utility opens in a separate browser window.

SL Syntax for sentential logic. Truth tables and consistency.

SD Derivations in sentential logic.

PL Syntax for predicate logic.

PD Derivations in predicate logic.