Use these links to open Java applets in separate windows.
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.