PHIL 214/B (Winter 2024): DEDUCTIVE LOGIC