3
<p> a) ∀xCat(x) <br> <br>b) ∃xCat(x) <br><br>c) ∀x(Cat(x)→Mammal(x)) <br><br> d) ∀x(Mammal(x)→∀Cat(x)) <br><br> e) ∀x(Unicorn(x)→Mammal(x)) <br><br> f) ∃xUnicorn(x) <br><br> g) ∀x(Unicorn(x)→Mammal(x)) & ∃xUnicorn(x) <br><br> h) ∀x(Unicorn(x)→~Mammal(x)) <br><br> i) ∀xUnicorn(x) <br><br> j) ∃x(Cat(x)&Mammal(x)) <br><br> k) ∃x(Mammal(x)&~Cat(x))<br><br>l) ~∀x(Cat(x)→Mammal(x)) <br><br> m) ∀x(Cat(x)→~Mammal(x))</p>