1 For each of the following sentences in English, decide if the accompanying first-order logic sentence is a good translation. If not, explain why not and correct it. (Some sentences may have more than one error!)

Transcribed Image Text:

a. No two people have the same social security number. -x,y,n Person(r) A Person (y) [HasSS#(x,n) ^ HasSS#(y,n)]. b. John's social security number is the same as Mary's. En HasSS#(John, n) A HasSS#(Mary, n). c. Everyone's social security number has nine digits. Vx,n Person(x) [HasSS#(x,n) ^ Digits (n, 9)]. d. Rewrite each of the above (uncorrected) sentences using a function symbol SS # instead of the predicate HasSS#.