Using the transformation rules of system P, prove the argument below to be valid. III. 1.-(-P-Q) Premise 2.-(RJ-P) Premi
Posted: Mon Jul 11, 2022 12:03 pm
Using the transformation rules of system P, prove the argument below to be valid. III. 1.-(-P-Q) Premise 2.-(RJ-P) Premise /: ~(Q & -R) > (~Q & R)