click below
click below
Normal Size Small Size show me how
CS0001 - SA2
REVIEWER FOR SA 2
| Question | Answer |
|---|---|
| What is the missing statement? 1. p→~q Premise 2. p Premise 3. 1,2 Modue Ponens | ~q |
| p → q ~q ------------------ therefore ~p | Modus Tollens |
| This is the corresponding tautology for Disjunctive Syllogism. | ( ¬ p ∧ (p ∨q)) → q |
| What is the missing statement ? 1. (~p\/q) → ~(q/\r) Premise 2. ~p\/q Premise 3. 1,2 Modue Ponens | ¬(𝑞∧𝑟) |
| Determine the rules of inference for: The soul is immortal or it is mortal. The soul is not immortal. Therefore it is mortal. | Disjunctive Syllogism |
| p → q q → r -------------------- therefore p → r | Hypothetical Syllogism |
| This is the corresponding tautology for Modus Tollens. | ( ¬ q ∧ (p →q)) → ¬p |
| Determine the rules of inference : “I will study discrete math and English literature” “Therefore, I will study discrete math.” | Simplification |
| Determine the rules of inference : “I will study discrete math.” “Therefore, I will study discrete math or I will visit Las Vegas.” | Addition |
| Determine the rules of inference : “I will study discrete math or I will study English literature.” “I will not study discrete math.” “Therefore , I will study English literature.” | Disjunctive Syllogism |
| Determine the rules of inference : "If it rains, I shall not go to school” "If I don't go to school, I won't need to do homework" Therefore − "If it rains, I won't need to do homework" | Hypothetical Syllogism |
| p q ------------- therefore p /\ q | Conjunction |
| Determine the rules of inference : “If it is snowing, then I will study discrete math.” “I will not study discrete math.” “Therefore , it is not snowing.” | Modus Tollens |
| What is the missing statement ? 1. (p → q)\/r Premise 2. ~r Premise 3. 1,2 Disjunctive Syllogism | p→q |
| Determine the rules of inference : “If it snows, then I will study discrete math.” “If I study discrete math, I will get an A.” “Therefore , If it snows, I will get an A.” | Hypothetical Syllogism |
| This is the corresponding tautology for Hypothetical Syllogism | ( (p →q) ∧ ( q→r)) → (p→r) |
| What is the missing rule of inference used in line 4? 1.R 2.R → D 3.D → ¬J. 4. D 1, 2 Modus Ponens 5. ¬J _________?___________ | 3, 4 Modus Ponens |
| Which of the following is a method of proof? | Proof by Contradiction |