Use the first thirteen rules of inference to derive the conclusions of the symbolized argument below. AFLU W X MP Dist 1 2 3 4 כ MT DN V HS Trans PREMISE A. (F. L) PREMISE A (U V W) PREMISE F (U V X) PREMISE ( ) DS Impl { CD Equiv CONCLUSION U V (W • X) } [ ] Simp Exp Conj Add Taut ACP DM CP Com Assoc AIP IP

CHALLENGE АCTIVITY 3.5.1: Reduce the proposition using laws. Need help with this tool? Jump to level 1 Simplify (sAw)v(-wAs) to s 2 3 1. Select a law from the right to apply Laws (SAW)V(-WAS) Distributive (алb)v(алс) ал(bvc) (avb)^(avc) = av(b^c) Commutative avb E bva anb ba Complement av-a F ала Identity алт avF Double negation ma a Check Next II II II II II II 3.

Use the first eight rules of inference to derive the conclusion of the symbolized argument below. FPT X 2 MP Dist 1 2 3 4 D V MT DN ( ) HS DS Trans Impl PREMISE (~F V X) (P v T) PREMISE FDP PREMISE ~P PREMISE { } [ 1 CD Equiv CONCLUSION T Simp Conj Add Exp Taut ACP DM CP Com AIP Assoc IP

Use the eighteen rules of inference to derive the conclusions of the symbolized argument below. B D M 2 MP Dist 1 2 3 D V = ( ) { } [ HS DS CD Simp Conj Trans Impl Equiv Exp Taut MT DN PREMISE (BM) (DM) PREMISE B v D PREMISE 1 CONCLUSION M Add ACP DM CP Com AIP Assoc IP