MATH 1190 Lecture Notes - Lecture 12: Propositional Calculus, Logical Form, Modus Ponens
1 Feb 2018
School
Department
Course
Professor
Document Summary
Math 1190 lecture 12 notes - rules of inference, valid arguments in propositional logic, Therefore. : we know that when p and q are propositional variables, the statement ((p q) p) q is a tautology. Therefore ): p p q q using this notation, the hypotheses are written in a column, followed by a horizontal bar, followed by a line that begins with the therefore symbol and ends with the conclusion. If 2 > 3 2 , then 2 2 > 3 2 2 . 3 2 )2. : the premises of the argument are p q and p, and q is its conclusion, this argument is valid because it is constructed by using modus ponens, a valid argument form. However, one of its premises, 2 > 3 2 , is false: consequently, we cannot conclude that the conclusion is true, furthermore, note that the conclusion of this argument is false, because.
