Question: Construct your proof using the proof constructor. See here for details. Export using the Pretty Print setting, and paste your proof in the blank
Construct your proof using the proof constructor. See here for details. Export using the "Pretty Print" setting, and paste your proof in the blank provided. Use only the following rules: vl, VE, &I, &E, >E, >I, E, I, ~I,~E, #1, Reit 7. (P (-QVR)}+Q (PVR) 13. {(PVQ) (PAQ)}+P+Q 17. {(PQ) V (QR))+P (QVR) 25. {(PAQ) V (PARVQAR)} PV (QAR) 35. (PQ) (PA-Q) V (QA-P) 38. (P) (PAQ) V (PA-Q)
Step by Step Solution
3.42 Rating (161 Votes )
There are 3 Steps involved in it
7 3 4 5 6 Y 8 9 10 11 19 13 1 P... View full answer
Get step-by-step solutions from verified subject matter experts
