6.1d: Symbolizations in PL with Quantifiers
Universe of Discourse: Cats (and only cats! for this symbolization felines are our only subject)
Mx: x is a mammal, Rx: x is a reptile; Wx: x is wild.
f: Felix the Cat (pretend he's real)
t: Tony the Tiger (of course, he's real, he was on TV)
Keep in mind that the subject under discussion, the "universe of discourse" is just cats. We are not concerned here with anything but cats. Forget about dogs and mice, etc.! This is very restrictive. We'll begin to remove this restriction in 6.2.