write my assignment 916

Question DescriptionQuestions #24-25 (10 points each): You will type out full proofs in the essay box provided. These are regular proofs similar to the proof you constructed for Quiz #9 and section 7.4 III using all 18 rules of inference. Remember to show your work as I do give partial credit for proofs. The more you show, the better your grade so don’t leave an empty box!

24.  

Regular Proof:

  1. ~ Bv(B>~A)
  2. (B>~A)>(~C*D)
  3. ~B>~C / C>~C

Your Answer:

25. 

Regular Proof:

  1. (D*E)v(~D*~E) 
  2. (H*J)>~(D=E) 
  3. ~~HvJ / J=~H 

Your Answer:

 
"Not answered?"
Get the Answer