PHL 214 Chapter Notes - Chapter 7: Deductive Reasoning
25 May 2016
School
Department
Course
Professor
Document Summary
Propositional logic (truth-functional logic): the branch of deductive reasoning that deals with the logical relationships among entire statements. Symbolic logic: a branch of logic that takes symbolization to another level by using symbols to stand for statements and for the relationships between statements. Statement/claim: an assertion that something is or is not the case. Simple statement: one that does not contain any other statements as constituents. Compound statement: composed of at least two simple statements. Two simple statements joined by a connective to form a compound statement. Or / unless / either / neither. Inclusive sense: p or q or both. Exclusive sense: p or q but not both. A double negation is the same thing as no negation. The first part is the antecedent, the second part is the consequent. A conditional asserts only that if the antecedent is true, then the consequent must be true.
