|
rules that lead you to begin |
rules for completing reductio arguments |
||||||||||||||||||||||||||||||||||||||||||||
|
if ¬ φ is your goal, use RAA to plan how to derive it |
if you have ¬ φ among the resources of a reductio, then ... |
⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩ |
if you also have φ, use Nc to close gap |
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
[φ is atomic] |
if φ is your goal, you may use IP to plan how to derive it—but do this only when φ is atomic |
if don’t also have φ, use CR to plan how to derive it—but do this only when φ is not atomic |
[φ is not atomic] |
||||||||||||||||||||||||||||||||||||||||||