PHI 1101 Lecture Notes - Lecture 10: Deductive Reasoning, Propositional Calculus, Logical Biconditional
ngrosie3 and 39926 others unlocked
22
PHI 1101 Full Course Notes
Verified Note
22 documents
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).