Re: Derivations

1st Semester Logic Student wrote:
Any answers, advice, help, suggestions? 

Some hints (or at least very good heuristics):
* if you need to prove something of the form A v B, then
usually you need negation elimination somewhere in your
derivation;
* otherwise, the overall structure of many derivations is:
first eliminate the operators of the premise(s)
(elimination rules), then introduce the operators of the
conclusion(s) (introduction rules).
* there are many exceptions to these "rules"!

groente
-- Sander
.