SSH 105 Lecture Notes - Lecture 6: Propositional Calculus, Mathematical Logic, Deductive Reasoning
Document Summary
Propositional logic: the branch of deductive reasoning that deals with the logical relationships among statements. Symbolic logic: modern deductive logic that uses symbolic language to do its work. Variables: in modern logic, the symbol, or letters used to express a statement. Simple statement: a statement that does not contain any other statements as constituents. Compound statement: a statement composed of at least two constituent, or simple, statements. Conjunction: two simple statements joined by a connective to form a compound statement. Only if both conjuncts are true , the whole conjunction is true. Exp: p&q, julio is here, and juan is here. Terms such as and: but, yet, nevertheless, while, also, moreover. Disjunction: a compound statement of the form either p or q . A disjunction is true even if only one disjunct is true and false only if both disjuncts are false, if tf then whole is t, if ff then whole is f.