A | B |
conjecture | educated guess |
counterexample | an example that proves a conjecture false |
conjunction | compound statement joined by "and" |
disjunction | compound statement joind by "or" |
v | or |
^ | and |
conditional statement | "If...., then..." |
hypothesis | phrase immediately following "if" |
conclusion | phrase immediately following "then" |
converse | switching the hypothesis and conclusion |
inverse | negating both the hypothesis and conclusion |
contrapositive | switching and negating both hypothesis and conclusion of orginal statement |
postulate | basic relationships accepted as true without proof |
theorem | statement or conjecture that has been proven true |
proof | logical argument in which statements made are supported by reasons |
Law of Syllogism | p-> q, q -> r, p -> r |
Law of Detachment | p -> q, p is true, therefore q is true |