Let D be a set of dogs and let T be a subset of terriers, so that the predicate T(x) means "dog x is a terrier". Let F(x) mean "dog x is fierce" and let S(x, y) mean "dog x is smaller than dog y". Write quantified statements for the following, using only variables whose type is D: a. There exists a fierce terrier.
b. All terriers are fierce.
c. There exists a fierce dog who is smaller than all terriers.
d. There exists a terrier who is smaller than all fierce dogs, except itself.

Multiple choice project create a program with two multiple choice questions. 1. users have two attempts only, show attempt number each time. hint: while loop with break control. (20%) 2. only one correct answer for each question, use switch case for each question. (20%) 3. show total score after the two questions are answered. hint: . (20%) 4. user have options to answer the two questions again if first attempt score is not 100%. hint: if statment. (20%) 5. use string method .toupper() to allow users to enter with lowercase or uppercase letters. (20%) 1. where is the capital of the state of florida? a. orlando b. tallahassee c. miami d. tampa b 2. where is walt disney world park located in florida? a. orlando b. tallahassee c. miami d. tampa a