Results 1 to 1 of 1

Math Help - First Order Logic help with corrections.

  1. #1
    Senior Member
    Joined
    Jan 2007
    Posts
    477

    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.

    Please help with this.
    Last edited by mr fantastic; February 23rd 2011 at 04:17 AM. Reason: Merged posts.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. First order logic
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: November 16th 2011, 09:41 AM
  2. First order logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 10th 2011, 08:10 AM
  3. First order Logic
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: January 16th 2011, 05:41 AM
  4. First order Logic!
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: January 3rd 2011, 11:55 AM
  5. volume corrections
    Posted in the Calculus Forum
    Replies: 2
    Last Post: December 13th 2008, 02:17 PM

Search Tags


/mathhelpforum @mathhelpforum