Page 1 of 1
Work Problem (60 points): 1. For all nonnegative integer n let P(n) be the following 6" + 4 is divisible by 5. (15 pts)
Posted: Wed Jul 06, 2022 12:05 pm
by answerhappygod
- Work Problem 60 Points 1 For All Nonnegative Integer N Let P N Be The Following 6 4 Is Divisible By 5 15 Pts 1 (48.29 KiB) Viewed 10 times
Work Problem (60 points): 1. For all nonnegative integer n let P(n) be the following 6" + 4 is divisible by 5. (15 pts) Verify that P(n) holds for the cases P(1),P(3) (15 pts)Use mathematical induction to prove that P(n) holds for every non- negative integer 2. Every Van_Cat with white hair has one blue eye. Some Van_Cat has white hair and one yellow eye. Every Van_Cat doesn't have green eyes doesn't have one yellow eye. Therefore some Van_Cat has one green eyes and one blue eye (use W(x), B(x), Y(x), G(x)). a) (15 pts) Write the given argument by predicate logic symbols. b) (15 pts) By using predicate logic, prove that given argument is valid