# First Order Logic help with corrections.

```iii. a.) Bob is a Bird.     Bird(Bob)   b.) Birds fly.     for all birds (x) -> Fly(x)   c.) The African Zoo is a zoo.     AfricanZoo (x): the african zoo.     IsAZoo (x): x is in fact a zoo.          There exists x ( AfricanZoo(x)^IsAzoo(x) )   d.)The African Zoo has a bird.   AfricanZoo (x): x is an african zoo   HasBird (x): x Has a bird there.     There exists x (AfricanZoo(x)^HasBird(x))   e.) Every Zoo has atleast one bird.     Zoo (x): x is a zoo.     HasBird (x): x is a bird there.       For all x, (Zoo(x)->HasBird(x)   f.) Some zoos have a bird that is bigger than all other birds.       Zoo (x): x is a zoo.     BigBird(x): x the biggest bird is there.       There exists a x ( zoo (x)^BigBird(x) )   g.) Every person who meets a manatee is impressed by it.     for all persons x, there exists a manatee y     MeetingAManatee(x, y)^Impressed(x,y)   h.) Zoos that have birds but no alligators are unpopular.     Zoo (x): x is a zoo.     HasBirds (x): x has birds.     HasAlligators (x): x Has alligators.     Unpopular (x): x is unpopular       For all Zoos x ( Zoos (x)^UnPopular ( HasBirds(x)^-(HasAlligators(x)) ) )```