Proofs and More

Proof Labels and Symbols

100

This label represents an integer that is created from a premise without changing its value.

Modus Ponens

200

This label represents an integer that is created from a premise that changes its value.

Modus Tollens

300

The label that represents if...then statements.

→

400

The line label following an integer that has two of the same of a certain negative symbol.

Double Negation

500

This label is used when you need to separate smaller integer equations from a larger equation.

Simplification

Biconditionals

100

This symbol represents Biconditional statements.

↔

200

The English words that represent a Biconditional equation.

If and only if

300

The label when your integer in your proof is a Biconditional equation.

Bicondition

400

These equations are commonly used in proofs. So much so that there are 10 that can be labeled at T1, T2, T3, etc.

Theorems

500

This label represents creating an integer from a Biconditional statement.

Equivalence

Indirect Derivation

100

This is the type of derivation where you attempt to prove yourself wrong. 

Indirect Derivation

200

This is what is done in an Indirect Assumption that differs from a Conditional Assumption.

The opposite of the integer or integer equation.

300

This is the symbol that can only be removed in Indirect Derivations.

¬ 

(Not Symbol)

400

The label when you restate an integer that is already within the proof.

Repeat

500

This label is used to add integers together to create an AND statement.

Adjunction

Conditional Derivation

100

This is a type of proof doesn't have any premises.

Theorem

200

This is the first step of a theorem that uses the conclusion to bring integers into the proof.

Assumption

300

These two symbols defer in orientation and meaning.

∧ (and)/ ∨ (Or)

400

This label represents when an integer is created from an "or" statement.

Modus Tollendo Ponens

500

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)

Questions about Mr. Slager(MUST COMPLETE ENTIRE ROW BEFORE ATTEMPTING)

100

What is Mr. Slagers favorite Card Game? (Full Name)

Magic the Gathering

200

What was Mr. Slagers job title before becoming the Logic Teacher?

Teaching Assistant

300

Outside of teaching, what job did Mr. Slager have the longest?

Barista

400

What is considered to be Mr. Slagers favorite movie of all-time?

Star Wars

Episode V: The Empire Strikes Back

500

What is Mr. Slagers sons name? (Double points for full name)

Emiliano Claude Slager