Symbolic Logic
Forallx -- logic textbook
forallx
7.4 Rules of Replacement II Trans, Impl, Equiv, Exp, Taut.
Proof Strategies