Proof by Natural Deduction - Predicate Logic. Use a direct proof to show that the following argument is valid. Premise 1: (3x)Kx → (x)(Lx → Mx) Premise 2: Kc · Lc Conclusion: Mc

3. Construct a truth table for each of these compound propositions. а) р@р b) р Ө-р c) p ® ¬q d) ¬p®¬q e) (p©q) v (p¬q) f) (р @q)л (рө-q)

solve 'b' part..hand written plz

Part 1: Choose two of the proofs below and use one of the indirect proof techniques (reductio ad absurdum or conditional proof) presented in Chapter 8 to demonstrate the validity of the arguments. The proofs below may use any of the rules of inference or replacement rules given in Chapter 8. 1.(G • P) → K, E → Z, ~P → ~ Z, G → (E v L), therefore, (G • ~L) → K 2.(S v T) ↔ ~E, S → (F • ~G), A → W, T → ~W, therefore, (~E • A) → ~G 3.(S v T) v (U v W), therefore, (U v T) v (S v W) 4.~Q → (L → F), Q → ~A, F → B, L, therefore, ~A v B 5.~S → (F → L), F → (L → P), therefore, ~S → (F → P) Part 2: Below are basic arguments in English. Choose two arguments and translate those argument into the symbolism of predicate logic. You do not need to do a proof. Every fetus has an immortal soul. A thing has an immortal soul only if it has a right to life. Hence, every fetus has a right to life. (Fx = x is a fetus, Sx = x has an immortal soul, Rx = x has a right to life). Some wars are just. No war of…