Formal logic

Truth tables

Semantic tableaux

Assumption calculus

Entering and checking proofs