The basic rules
A derivation is a numbered list of lines, each with a rule and the lines it cites; modus ponens, modus tollens and the two conjunction rules are enough to start.
About 20 minutes7 activities Paper packet
A derivation is a numbered list of lines, each with a rule and the lines it cites; modus ponens, modus tollens and the two conjunction rules are enough to start.
About 20 minutes7 activities Paper packet