PHIL 214/A (Fall, 2023): DEDUCTIVE LOGIC