RSM341H1 Lecture Notes - Lecture 1: Lee Harvey Oswald, Gordon Ramsay, Logical Biconditional
Document Summary
Cannot be both or neither true or false. We might not know whether it is true or false. We don"t know if this is true or false, but know it must be one or the other. Gordon ramsay is the best chef in the world. Is not clearly true or false so is not a proposition. Used to create longer propositions from simpler ones. Is template for producing propositions by replacing placeholder variables. Can plug in x to produce many propositions. P is the predicate symbol, x is the placeholder variable. Swan(x) white(x) = x is a swan and x is white . Means p is false: means both p and q are true. Means at least one of p and q is true p implies q. Whenever p is true, q must be true. "if p then q", "p only if q", "p implies q"