Logic Writing Assignment #6

Use the six valid propositional argument forms we have learned (Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism, Conjuction, and Simplification) to build your own Natural Deductions. Build three with two steps, and two with three steps, and include the rule and line number(s) used as premises for each step in the argument. Finally, use one of the three step Deductions to form a sound argument, by replacing the simple statements in the premises with actual statements in such a way that the premises of the argument will be true.

12 point type, staple.