Having trouble with both part a and b on question 4. An explanation of the parts would be great

. Using the following predicates, encode the following statement into valid well f formulas (wffs) a. study (x, CACS): x is a student at CACS Smart (x):x is smart i. "Everyone who study at CACS is smart" ii. "Someone who study at CACS is not smart" b. Male (x): x is a male Butcher (x)x is a butcher Vegetariam(x): x is a vegetarian Likes (x, y): x likes y i. No man is both a butcher and a vegetarian. 2 ment 1 CMPS 341 Spring 2 i. All men like vegetarians