COGS 100 Lecture Notes - Lecture 11: Modus Ponens, Propositional Calculus, Decision-Making
Document Summary
They are used to create logical operations: a proposition used as a premise from which conclusions are deduced is called an. If mining is a dangerous job then workers should be paid highly. If p then q: mining is a dangerous job. It can be true or false: a = b does not imply that -a = -b, expression: (cid:3017) (cid:3018), (cid:3017) (cid:3018: example: if p then q, abductive: if q then may be p. If p = true q = true. If p = false q = true or false: modes tollens, q p. If r = p q, r is only false when logic is broken (p = true and q = Inductive generalization: some a are b, so: all a are b, abduction, why q? p would explain q. So may p => introduces probability: probability we can assign #s form 1-0 to indicate how likely a proposition is.