Translation: Using the interpretations suggested, formalize the English sentences below into well- formed formulas of the Predicate Calculus with identity and function symbols. a. There is a barber who shaves all and only those who do not shave themselves. (Use the one place predicate 'B' for is a barber, the two place predicate S' for shaves.) b. There is no highest prime number. (Use the one place predicate P' for prime number, use the two place predicate 'H' for is higher than. You may also have to use '='.) Note: highest' is a superlative. Since no number can be higher than itself, when one says that n is the highest number, one is saying that it is higher than every number that is not n itself. Translation: Using the interpretations suggested, formalize the English sentences below into well- formed formulas of the Predicate Calculus with identity and function symbols. a. There is a barber who shaves all and only those who do not shave themselves. (Use the one place predicate 'B' for is a barber, the two place predicate S' for shaves.) b. There is no highest prime number. (Use the one place predicate P' for prime number, use the two place predicate 'H' for is higher than. You may also have to use '='.) Note: highest' is a superlative. Since no number can be higher than itself, when one says that n is the highest number, one is saying that it is higher than every number that is not n itself