Symbolization with Identity 9.1ex III
Symbolize the following.
universe of discourse: everything
living in the White House.
g: George W. Bush
Dx: x is a dog
Lx: x is large
Px: x is a person
Rx: x is a Rottweiler
Oxy: x owns y
Ixy: x = y
George owns exactly one dog (living in the White House).
Someone owns at least one Rottweiler.
George owns no Rottweilers.
There is exactly one dog owned by George.
There are at least two dogs living in the White House.
Everything living in the White House is a person except for one Rottweiler.
There is at most one dog living in the White House.
George's dog is a Rottweiler.
The Rottweiler owned by George is large.
All people except George are dog owners.