Every Van_Cat with white hair has one blue eye. Some Van_Cat haswhite hair and one yellow eye. Every Van_Cat doesn't have greeneyes doesn't have one yellow eye. Therefore some Van_Cat has onegreen eyes and one blue eye (use W(x), B(x), Y(x), G(x) ).
Write the given argument by predicate logic symbols.
By using predicate logic, prove that given argument is valid
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 ha
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am