Term:
Rule of Assumption
Definition:
We may introduce any proposition of a
proof anywhere within that proof (A)
Term:
Modus Ponens
Definition:
P > Q, P therefore Q
Term:
Double Negation
Definition:
  P entails P and vice versa
Term:
/\ introduction / Conjunction
Definition:
Given P and Q separately we can
derive P /\ Q
Term:
/\ elimination / simplification
Definition:
Given P /\ Q we can derive P or Q
separately
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Term:
Vintroduction / addition
Definition:
Given P, we may derive P \/ Q, where
Q is proposition "whatever"
Term:
Alternation / vElimination
Definition:
This is the end of the preview.
Sign up
to
access the rest of the document.
 Logic, Boolean Algebra, Proof by contradiction, Reductio ad absurdum

Click to edit the document details