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

[answerhappygod]

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 1 (41.23 KiB) Viewed 10 times

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