Prove The Following Sequent You May Use Ti And Si If You Wish Though You May Only Use Those Seguents On The Seguents 1 (18.65 KiB) Viewed 50 times
Prove the following sequent. You may use TI and SI if you wish, though you may only use those seguents on the "Seguents for TI and SI" list provided in Canvas. Feel free to have the list open while working on this P-Q&R) + (P) v ( PR) [Notice the 1:] special characters: & V F HF 3 (a) - PR=(Q&R) F (P--Q) v (P-R) (1) (2) (b) (P-Ov(P-BP--(Q&R) (1) (2)
Proof 2, Question 10 ( PQ)(QR) (1) (2) + ww 1 1 3 3 1 1,3 1 1 1 1 1 -((P-Q) (Q - R)) -(P-&-QR) -Q Q R -( QR) (Q-R) &-Q-R) A/RAA 1 SI 1.5.1(f) (DeM) A/RAA 3 SI 51 2 &E 4,5 &I 3,6 RAA 7 DN 8 SI 50 2 &E 9,10 &I [answer] (8) (9) (10) (11) (12) Q P-Q -(P-Q) ( PQ) & (P) --(( PQ) (Q-R)) Select the correct replacement of Canswer] in the proof above: 1,11 RAA
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!