(You may copy/paste these Exercise 24 symbols into your statements) Name Date AND: n or & OR: U NOT: ~ or - IF..THEN..: - or -> Convert the following deductive arguments into symbolic form, and place each statement under its corresponding header, P1, P2, and C (premise 1, premise 2, conclusion, respectively.) Then complete the truth table for every statement of each argument and decide if that argument is valid or invalid: 1. You said that if it snows today, you would stay at home. Here it is snowing. I guess that means you are staying home. (s=it snowed today, h=you stayed home) P1 P2 C S h T O valid T F T O invalid F 2. You said that if it snowed today, you would stay at home. I see you are home. I guess that means it snowed today. (s=it snowed today, h=you stayed home) P1 P2 C S h T T O valid T F T Oinvalid F F 3. You said that if it snowed today, you would stay at home. It didn't snow. I guess that means you are not staying home. (s=it snowed today, h=you stayed home) P1 P2 C S h T O valid T F T O invalid FExercise 24 4. That guy over there is a student or a professor. I know all the students and he is not one of them. He must be a professor. {szhe is a student, p=he is a professor) s p . T T _ _ _ O valid T F _ _ _ F T . _ _ _ O invalid F F 5. It is said that if something is expensive. then it must be good. Well, this car is cheap. So, it must not be any good. {e=this thing is expensive, g=this thing is good) e g T T ' _ _ _ O valid T F . _ _ _ F T _ _ _ O invalid F F 6. It is said that if something is expensive, then it must be good. Well, this car is good, so it must be expensive. {e=this thing is expensive, g=this thing is good) e g T T . _ _ _ O valid T F _ _ _ F T . _ _ _ O invalid F F (You may copyipaste these symbols into your statements} AND: n or & OR: U NOT:~ or - |F..THEN..: > or -> Exercise 24 7. This car is really good. This car is also expensive. So, this car must be good and expensive. (e=this thing is expensive, g=this thing is good) P P2 C e g T T O valid T F T O invalid F 8. For this argument, the symbolic statements have already been provided. P1 P2 C q p -> q q -> r p- r T O valid O invalid IIIIIII1 IIIIIII1 1IIIIII1 (You may copy/paste these symbols into your statements) AND: n or & OR: U NOT: ~ or - IF..THEN..: - or ->