Work Problem (60 points): 1. For all nonnegative integer n let P(n) be the following 6" + 4 is divisible by 5. (15 pts)

[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 9 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