22C:19 Discrete Structures Logic and Proof Spring 2014 Sukumar Ghosh.
1.5 Rules of Inference. Valid Arguments in Propositional Logic By an argument, we mean a sequence of statements that end with a conclusion. By valid,