Answer Happy

Posted: **Wed May 18, 2022 5:10 pm**

: 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 52 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