Page 1 of 1
Fill in the missing steps of the proof that (P->R)V(-Q->R) proves P&-Q->R. Put both the missing sentence as well as miss
Posted: Thu May 12, 2022 12:53 pm
by answerhappygod
- Fill In The Missing Steps Of The Proof That P R V Q R Proves P Q R Put Both The Missing Sentence As Well As Miss 1 (50.63 KiB) Viewed 34 times
- Fill In The Missing Steps Of The Proof That P R V Q R Proves P Q R Put Both The Missing Sentence As Well As Miss 2 (49.72 KiB) Viewed 34 times
Fill in the missing steps of the proof that (P->R)V(-Q->R) proves P&-Q->R. Put both the missing sentence as well as missing proof rules, sometimes you'll need to put in a missing sentence as well as the proof rule used to derive it. You'll need to use the following derived rule AC -- for argument by cases: Argument by Cases (second form) XVY N ۱۷۸ z AC In words, if in a derivation you already have a sentence of the form Xvy, a subderivation from X as assumption to Z as conclusion, and a second sub- derivation from Y as assumption to Z as condusion, you are licensed to write Z as a condusion anywhere below.
(P- >R)V-Q- >R) Assumption P&-Q Assumption Assumption P->R ~Q->R Assumption (P&-Q)- >R