# Thread: First Order Logic help with corrections.

1. ## First Order Logic help with corrections.

Please take a look at my First Order Logic, I am to definte my predicates/properties/functions, which I believe I tried my best to do, please check my work and feel free to make corrections, I would appreciate it.

Code:
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)) ) )
using propositional logic
I believe to help decide what tactics to use, trying with unification and resolution.