Definitions



__**Here are vocabulary words for Chapter 2. How many do you remember?**__

__**logic**__ - the study of reasoning

__**mathematical sentence, statement, closed sentence**__ - contains a complete thought, can be judged true or false

__**phrase**__ - part of a mathematical sentence

__**open sentence**__ - sentence that contains a variable

__**domain (replacement set, x)**__ - set of numbers that can replace a variable

__**range (solution set, y)**__ - set of all replacements that will change an open sentence to a true sentence

__**negation**__ - gives a statement the OPPOSITE truth value

__**compound sentence**__ - combination of two or more mathematical sentences with the word AND (conjunction or disjunction)


 * __conjunction__** - compound statement combining two simple statements and the word “and”, written as p^q (p and q)

__**disjunction**__ - compound statement combining two simple statements and the word “or”, written as p v q (p or q)

__**truth table**__ - summary of all possible truth values

hypothesis, promise, antecedent -The part of a conditional after “If” and before “then” In the conditional "If a line is horizontal, then the line has slope 0" the hypothesis is "a line is horizontal"
 * __conditional__** - compound statement formed by using the words if / then to combine two simple statements p -->q (if p then q)

__**conclusion**__ - part of a conditional after the “then”, closes the argument

__**inverse**__ - formed by NEGATING both the hypothesis and conclusion (indicated by ~), ~p is read as NOT p

__**converse**__ - statement formed by switching the hypothesis and conclusion (If Joe lends me a dollar THEN I can buy a soda. -- If I buy a soda THEN Joe lent me a dollar)

__**contrapositive**__ - NEGATES and SWITCHES the statement and conclusion (If I don’t buy a soda then Joe didn’t lend me a dollar.)

__**biconditional (if and only if)**__ - A way of writing two conditionals at once: both a conditional and its converse. "If a triangle is equilateral then its angles all measure 60°" and "If all the angles of a triangle measure 60° then the triangle is equilateral." The biconditional reads: A triangle is equilateral if and only if its angles all measure 60°



Graphics from: http://www.fotosearch.com/clip-art/geometry_5.html