Exam 2 Do The Following Proofs Here Is How You Cite Each Rule You Can Just Copy Paste As Long As You Make Sure That T 1 (35.3 KiB) Viewed 73 times
Exam 2 Do the following proofs. Here is how you cite each rule (you can just copy/paste, as long as you make sure that there is no space between the colon and the rule). And in these examples, letters like "m" and "n" stand for the line numbers that you make reference to for the rule. Reiteration - Rm Conjunction Introduction - /Im,n Conjunction Elimination - Em Disjunction Introduction VIM Disjunction Elimination VEm, n-o,p-9 Conditional Introduction - ->Im-n Conditional Elimination - - >Em,n Biconditional Introduction <->Im-n, 0-P Biconditional Elimination ->Em ,n Negation Introduction - Im-n Negation Elimination - Em, n Explosion - Xm Indirect Proof - IPm-n Disjunctive Syllogism DSm, n Modus Tollens - MTm,n Double Negation Elimination - DNEM Remember, if you ever need to do two subsequent subproofs, you must separate them with a line. Do this by reiterating a premise. It is possible to submit an incomplete proof on this assignment, so you can earn partial credit even if you don't complete the proof.
4 5 pts A -B- (-AA-C) - B A : PR 1 2 not B > (not A and not C) :PR Submit >
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!