PHI 1101 Lecture Notes - Lecture 10: Deductive Reasoning, Propositional Calculus, Logical Biconditional

• School: University of Ottawa
• Department: Philosophy
• Course: PHI 1101
• Professor: Christopher Mc Grath

Document Summary

Class ten negation disjunction conjunction implication double implication . In propositional logic the symbols stand not just for the statements but also for the relationships between statements. Simple claim: a claim that contains one state of affairs that could be true or false. Compound claim: a claim that connects multiple claims. Conditional: compound claims that use the connective ifthen . (makes an implication) When drawing diagrams, the antecedent always comes before the consequent. Antecedent (if): the term in an implication which implies the consequent. Consequent (then): the term in an implication which is implied by the antecedent. I. e. , in symbolic logic, the antecedent is the first term of an implication (p q) and the consequent is the second (p q) Biconditional: a claim which makes a double implication. In an implication (p q), if the antecedent is true (p) then the consequent is true (q).