d> (1 > (b a d)): ((p v q) 1. (¬q^ ¬r) (p (q v r))

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…

Translate the following First Order Logic in English sentence. (Attached)

3. Express the following English sentences using propositional functions, quantifiers and logical connections. (a) Someone in the class is helped by everyone in the class. (b) There is a hard working student in the class who has not been helped by any student in class. (c) For everyone in the class, someone who is smart has helped him/her. SO (d) There are two people in the class who have not helped each other. (e) There is a hard working student in the class who is helped by every smart student in class. (f) There are some companies that hire only hard working students.