2. Symbolize English sentences a-d in PL, using the following symbolization key:
UD: living things
Nx: x is a nut-eater
Bx: x is a black squirrel
Gx: x is a gray squirrel
Rx: x is a red squirrel
a. All gray squirrels are nut-eaters.
b. No gray squirrels are nut-eaters.
c. Some gray squirrels are nut-eaters.
d. Some gray squirrels are not nut-eaters.
Hi, there is more than one way to do each of these (given the 'quantifier shift' rules and interdefinability of the truth-functional ...
This job symbolizes English sentences.