Practice Problems: CSE 173Logic and Proofs
The below list is not exhaustive; you are requested not to restrict yourself only to these sets of practice problems. From Kenneth H. Rosen, 7th edition
From Kenneth H. Rosen (Indian Adaptation), 7th edition
Problem 1:
For the following english argument, define the required propositions/predicates to translate these into logic/argument form. Finally, check if the argument form is valid. All CSE 173 students are human. Some CSE 173 students are travellers ------------------------------------ Some humans are logical travellers
Problem 2:
Prove that the below hypotheses lead to the conclusion: If you send me a message in Piazza, then I will finish the of HW problem, If you do not send me a message in Piazza, then I will go to bed early, and If I go to bed early, then I will feel better, ------------------------------------------------------------------------------- If I do not finish HW problem, then I will feel better. Problem 3:
Prove that the following argument form is valid; use logical equivalence and rules of inferences done in class. a disjuction b a --> p --------------------- q
Problem 4:
Prove the conclusion for a set of given premises: i) negation q, ii) p --> q, iii) negation p --> (s disjuntion q), and a conclusion s.
Problem 5:
Prove that square root of 5 is irrational.
Problem 6:
Prove that the following argument form is valid; use logical equivalence and rules of inferences done in class. a disjuntion b a --> p b --> p ---------------------- p
Functions, Sequence and Summations
From Kenneth H. Rosen, 7th edition
Induction and Recursion
From Kenneth H. Rosen, 7th edition
|