Question 1 Similar to Question 6 in Chapter 2 of Logical Foundations, write the following expressions in First Order logic. So you might want to practice first on Question 6. Nobody is a butcher. No man is a butcher. Everyone is either a male or a female, but not both.
All female vegetarians are butchers.
Only female vegetarians are butchers. All butchers are female vegatarians. No woman likes a butcher who is male. If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned.