Translations
General Method p. 4
If …. then …. Stylistic variants p. 5
And stylistic variants p. 14
Or stylistic variants p. 15
Neither….nor stylistic variants p. 15
SL-3 General formats p. 28-29
Truth Tables
p. 23
Inference Rules
MP, MT, DN, R p. 6
S, ADJ, BC, CB, MTP, ADD, DM, SC p. 16
UI, EI, EG, QN p. 31
Strategies
Negation of a conditional p. 11
Massive Conditional p. 11
Negation of something interesting p. 20
Separation of cases p. 20
T11 and T12 p. 12
T38 p. 22
Cheat Sheet
|
|
Simple Sentance |
Negation |
Conditional |
Conjunction |
Disjunction |
Biconditional |
|
Have as an available line |
|
(see Tilde Phobia Section |
MP or MT (Massive Conditional) |
MTP (Seperation of Cases Stragiey) |
BC |
|
|
Trying to show |
SH ð ~ð AID |
DDT SH ~ð ð AID |
SH (ð -> A) ð ACD SH A |
SH (ð A A) SH ð SH A (ð A A) ADJ |
SH (ð ” A) SH (ð -> A) SH (A -> ð) (ð ” A) CB |
|
Tilde Phobia Sheet
|
|
Conditional |
Conjunction |
Disjunction |
Biconditional |
|
Have as an available line |
NOSI |
NOSI |
DM |
NOSI |
|
Trying to show |
SH ~(ð -> A) (ð -> A) AID |
SH ~(ð A A) (ð A A) AID |
SH ~(ð V A) (ð V A) AID |
SH ~(ð ” A) (ð ” A) AID |