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.
Please help with this.