Logic and Proof
Logic and Proof Terms
Get down with the lingo
Addition PropertyWe can add the same number to both sides of an equation without causing harm to the equation or ourselves. Not true if we're trying to add a fork to an electrical outlet.
Angle BisectorA line segment that splits an angle in half so that it creates two congruent angles.
DetachmentThe idea that we can separate the conclusion and hypothesis from the conditional statement itself. The law might exist, but only if there exist people that can obey it and it's passed will it actually be obeyed. Just the same, the hypothesis only leads to the conclusion if both the hypothesis and the conditional statement are true.
Division PropertyWe can divide both sides of an equation by any number as long as it's not zero. If we divide by zero, we could be blamed for the apocalypse.
Formal ProofAlso called a two-column proof, it's a proof arranged in the form of—you guessed it!—two columns. One lists the statements you're claiming as true and the other lists the reasons for why they're true.
Indirect ProofA proof that proves that the opposite of what it really wants to prove is false. Basically, it proves a claim by proving that the opposite isn't true. Talk about beating around the bush.
Informal ProofAlso called a paragraph proof, it's a proof that takes the form of—you guessed it!—a paragraph. Think more stream-of-consciousness and less Excel spreadsheet. It's still a proof though, so make sure to give your reasons.
MidpointA point that bisects a line segment into two congruent segments. It's the halfway point.
Multiplication PropertyWe can multiply both sides of an equation by the same number. In this case, we can multiply both sides by 0, but it will just give us 0 = 0.
PostulateAn assumption we make about whatever objects we're talking about that's treated as a fact. "Axiom" is its alter-ego.
ProofAn argument laid out step-by-step or in paragraph form that explains why something is true. Just like the courtroom scenes in Law and Order, except with math.
Reflexive PropertySimply put, things are exactly what they are. Everything equals itself. A = A. B = B. Bubba Gump shrimp = Bubba Gump shrimp. Convincing (and delicious), right?
Substitution PropertyIf two things are equal, they are interchangeable. That means one can be substituted for another. How else would we have been able to solve for all those variables in algebra?
Subtraction PropertyIt's the green light for subtracting the same number from both sides of an equation. It can be 0 or it can be 5 million, but as long as we're going the same thing to both sides of the equation, it doesn't make a difference.
SyllogismA shortcut to conditional statements. If p → q and q → r and r → s and s → t, instead of going through each one separately, it allows us to say directly that p → t.
Symmetrical PropertyThis gets to the true concept of equality. If A = B, then B = A. As long as the equal sign keeps them apart (how sad!), it doesn't matter what side they land on.
TheoremA fact that's already been proven. With theorems, all the work has already been done for us.
Transitive PropertyIn the simplest terms, if A = B and B = C, then A = C. Sort of obvious, but super useful.
People who Shmooped this also Shmooped...