Proof Labels and Symbols
This label represents an integer that is created from a premise without changing its value.
Modus Ponens
This symbol represents Biconditional statements.
↔
This is the type of derivation where you attempt to prove yourself wrong.
Indirect Derivation
This is a type of proof doesn't have any premises.
Theorem
What is Mr. Slagers favorite Card Game? (Full Name)
Magic the Gathering
This label represents an integer that is created from a premise that changes its value.
Modus Tollens
The English words that represent a Biconditional equation.
If and only if
This is what is done in an Indirect Assumption that differs from a Conditional Assumption.
The opposite of the integer or integer equation.
This is the first step of a theorem that uses the conclusion to bring integers into the proof.
Assumption
What was Mr. Slagers job title before becoming the Logic Teacher?
Teaching Assistant
The label that represents if...then statements.
→
The label when your integer in your proof is a Biconditional equation.
Bicondition
This is the symbol that can only be removed in Indirect Derivations.
¬
(Not Symbol)
These two symbols defer in orientation and meaning.
∧ (and)/ ∨ (Or)
Outside of teaching, what job did Mr. Slager have the longest?
Barista
The line label following an integer that has two of the same of a certain negative symbol.
Double Negation
These equations are commonly used in proofs. So much so that there are 10 that can be labeled at T1, T2, T3, etc.
Theorems
Repeat
This label represents when an integer is created from an "or" statement.
Modus Tollendo Ponens
What is considered to be Mr. Slagers favorite movie of all-time?
Star Wars
Episode V: The Empire Strikes Back
This label is used when you need to separate smaller integer equations from a larger equation.
Simplification
This label represents creating an integer from a Biconditional statement.
Equivalence
This label is used to add integers together to create an AND statement.
Adjunction
What is the difference between labeling Conditional Derivation line numbers and other proof line numbers.
Conditional Derivation is through (3-8)
Other lines are and (2,6)
What is Mr. Slagers sons name? (Double points for full name)
Emiliano Claude Slager