From 11:00PM PDT on Friday, July 1 until 5:00AM PDT on Saturday, July 2, the Shmoop engineering elves will be making tweaks and improvements to the site. That means Shmoop will be unavailable for use during that time. Thanks for your patience!

# Logic and Proof Terms

## Get down with the lingo

We 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 Bisector

A line segment that splits an angle in half so that it creates two congruent angles.

See "Postulate."

### Base Case

The first step in an inductive proof. We take the smallest or simplest value in our set, usually n = 1, and prove that our general statement is true with that value. Also a great name for a rap group that specializes in inductive proofs. "Ladies and gents, please welcome to the stage…Base Case." (Cue wild applause.)

### Conditional Statement

A compound proposition that says if the hypothesis is true, then the conclusion will be true. It's surprisingly popular for a statement with so many conditions for hanging out. In symbols, it's pq.

### Congruent

Exactly equal in measure or identical. #twinsies

### Conjunction

Two statements joined together by the word "and." Both parts of the conjunction must be true for the entire statement to be true. That's the truth, and don't you forget it.

### Contrapositive

A conditional statement where the hypothesis and conclusion switch places and a big "not" is put before both of them: ~q → ~p, or not q → not p.

### Converse

A conditional statement where the hypothesis and conclusion switch places. It's like Wife Swap in the math world: qp.

### Counterexample

Any n-value that disproves the general statement in an inductive proof. It ruins the entire proof, like a drop of garbage water in a batch of cookies.

### Detachment

The idea that we can separate the conclusion and hypothesis from the conditional statement itself. The law might exist, but it will only be obeyed if there exist people that can obey it and it's passed. Just the same, the hypothesis only leads to the conclusion if both the hypothesis and the conditional statement are true.

### Disjunction

Two statements joined together by the word "or." Only one statement has to be true for the disjunction to be true. Or was that some other type of statement? (No, it wasn't.)

### Division Property

We 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 Proof

Also 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 Proof

A 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.

### Induction Hypothesis

The second step in an inductive proof. We assume our initial statement is true when n = k. Yep, it's the one area in math where you're allowed to say, "It's true because I said so."

### Informal Proof

Also 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.

### Inverse

A conditional statement where "not" is placed before both the hypothesis and conclusion: ~p → ~q, or not p → not q.

### Midpoint

A point that bisects a line segment into two congruent segments. It's the halfway point.

### Multiplication Property

We can multiply both sides of an equation by the same number without messing with the truth of the equation.

### Negation

Putting "not" into a proposition to make it mean the opposite of the original statement. If you get too many negations together, they tend to not not not not not not be annoying.

### Postulate

An assumption we make about whatever objects we're talking about that's treated as a fact. "Axiom" is its alter-ego.

### Proof

An 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.

A type of proof where we assume that the thing we're trying to prove is not true, and then show how that assumption leads to some kind of logical contradiction. Also goes by the nicknames indirect proof and Lyin' Larry.

### Proof By Deduction

A type of top-down reasoning where we start with a general theory or statement, then apply it to a specific example. Sherlock is a big fan.

### Proof By Induction

A type of bottom-up reasoning where we start with a specific statement and use it to prove a general theory. First we prove the base case, then we assume the general theory is true when n = k, and we wrap things up by proving the theory is true when n = k + 1.

### Reflexive Property

Simply 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 Property

If 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 Property

It'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 doing the same thing to both sides of the equation, it doesn't make a difference.

### Syllogism

A shortcut to conditional statements. If pq and qr and rs and st, instead of going through each one separately, it allows us to say directly that pt.

### Symmetric Property

This 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.

### Theorem

A fact that's already been proven. With theorems, all the work has already been done for us.

### Transitive Property

In the simplest terms, if A = B and B = C, then A = C. Sort of obvious, but super useful.