- 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 1 (39.42 KiB) Viewed 103 times
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
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
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
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,o-p Biconditional Elimination ->Em ,n Negation Introduction Negation Elimination Em ,n Explosion - Xm Indirect Proof - IPm-n Disjunctive syllogism - Dsm,n Modus Tollens - MTm,n Double Negation Elimination - DNEM Im-n 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. 1 5 pts AVB, AB VC 1 A or B : PR 2 not A:PR Submit >