SSH 105 Lecture Notes - Lecture 8: Modus Ponens, Modus Tollens, Out 1
Document Summary
Conjunction: a statement of the form made up of compounded statements called conjuncts. P and q (p & q) -> it is sunny and it is thursday . Disjunction: a statement of the form made up of compounded statements called disjuncts. Either p or q (p v q) -> either god exists or he doesn"t (iii) negation: negating or denying a statement. Not p (~p) -> it is not sunny (iv) conditionals: an if-then statement with compounded statements with a(n) . Note: conditionals do not assert that either the antecedent or consequent are true, it is simply saying if the antecedent is true, then the consequent is true. Not all conditionals are always expressed in logical form . Since your lease is expired, the landlord is free to raise the rent . If your lease expired, then the landlord will raise your rent (v) (i)