A comprehensive graduate-level sequence on formal logic and natural deduction, transitioning students from truth tables to rigorous proof construction. Students master rules of inference, replacement, and advanced proof strategies like conditional and indirect proof.