#44

there is instraction on it from question 40-44.

but, i need to do only question number 44.

thanks

42. a. p va 4r PAS c. Lefty: Muscles was shooting craps with Socko when Sharky was knocked off. d. Muscles: Lefty didn't kill Sharky. Who did kill Sharky? In 41-44 a set of premises and a conclusion are given. Use the valid argument forms listed in Table 2.3.1 to deduce the conclusion from the premises, giving a reason for each step as in Example 2.3.8. Assume all variables are statement variables. suos -9- UAS 41. a. b. pV - SV-9 ps 44. p > b. 1S rvs c. Up d. W ~qvs e. u Vw f... 1 par wVI h...UAW suosib d. p e. pars f...-9 Modus Ponens P - 9 Elimination a. pva b. pvq HP Modus Tollens P- 4 Transitivity P- 9 .. pr Generalization a. P b . 9 pvq Proof by Division into Cases ipva p. PV p> 4- Specialization a. b. p Conjunction Contradiction Rule -p- ..p .png