Logic and Proofs (Carnegie Mellon University)
Recognizing the correctness or incorrectness of steps is crucial to evaluate arguments critically. This skill is honed by working in two virtual labs: ProofLab, where one learns to construct complex arguments in a strategically guided way, and TruthLab, where the emphasis is on finding counterexamples systematically..