Reiteration (R)
|
|
"&" Rules
|
|
Conjunction Introduction (&I)
|
Conjunction Elimination (&E)
|
|
or |
 |
|
"É" Rules
|
|
Conditional Introduction (ÉI)
|
Conditional Elimination (ÉE)
|
"~" Rules
|
|
Negation Introduction (I)
|
Negation Elimination (E)
|
"Ú" Rules
|
|
Disjunction Introduction (ÚI)
|
|
or |
 |
|
Disjunction Elimination (ÚE)
|
"º" Rules
|
|
Biconditional Introduction (ºI)
|
Biconditional Elimination (ºE)
|
|
or |
 |
|
Note: These provide a very general statement of the rules of our system,
for a bit more guidance in how to cite them in actual derivations, check
out "Using the Rules of SD"
