Unformatted text preview: The statement “If p , then q ” can be written as “ p ± q .” • The proposition p is called the hypothesis ; it is an assumption or a condition . • The proposition q is called the conclusion . • If there are no cases where p is true and q is false, we say that the statement is true . • Otherwise, the statement is false , and any case where p is true and q is false is called a counterexample . If the statement is known to be true, we can write “ p ± q .” “ ± ” may be read as “ implies .” • Outside of TrueFalse questions and the like, we generally assume that “ifthen” statements given to us in textbooks are true. • WARNING 1 : “ ± ” denotes “approaches” when we discuss limits in calculus....
View
Full Document
 Spring '09
 Computer Science, Logic, Logical equivalence, logical notation

Click to edit the document details