Question

+ of 4 Page 3 ZOOM Write the following arguments using symbolic logic. Detemine if they are valid or invalid. If pussible give the 1ype(s) of argument or the typets oferrur 61 Fither it snows or Craig gets an F on his paper Ifit snows then school is closed. School is not closed. .. Craig gets an F on his paper. 7) Carla did not screan Frank did not k runs 8) If Marta claps and Sean smiles, then Philip is great. IfPhilip is great, then Philip will do the next show Marta clapped or Scan smiled. the next show will 9) If Jake resigns or Kate resigns, then Devin is promoted. f Maric is angry then no work gets done and the company loses moncy n' kase matey and Ktle doesn'l resign. . Jake docsn't resign O

Answer 1

6.

Let S: It snow C: Craig gets an F on his paper L School is closed Given premises P1: SvC P2: SL P3: -L Conclusi on C Rule P (premi (1) (2) (3) (4) (5) ) Rule P (premises) Rule P premises) S vC ses (2) (3) (13) 1,2,3 Rule T, /2(2),(3),Modus tollens Rule T, (1).(4)djunctive syllogism C the given argument is valid (simplification) 1,: АЛВ3D В Hypothetical syllogism P ->Q,>R PR. 1, : А, В — АВ EG: Esistenti al generalization i.e Ay)(x) A(x) ES: Esistential specificati on i.e. (3x) A(x)A(y I modus ponens e. P,P I, modus tollens i.e. -Q,P->Q-P , P, Q PAQ UG A(x)(Vx)A(x) I19 disjunctive syllogism ie. -PPvQ CP rule If formula S can be derived from the formula R and the set of given premises then the formula R S can be derived from the given the set of premises only C