Results 1 to 4 of 4
Like Tree1Thanks
  • 1 Post By Plato

Math Help - Relation Problem

  1. #1
    Newbie
    Joined
    Mar 2013
    From
    Ontario
    Posts
    15

    Relation Problem

    Here's what the problem says:

    "Let F,G: B<->C be two relations. Prove: If F is total, G is determinate, and F G, then G F.
    Hint: If you use quantifiers, you can, for any b:B, use instantiation for ∀ (9.13) on the predicate-logic definition of totality of F."

    Seeing as how I have not a single clue on this green earth what as to what this question is asking, any help is greatly appreciated.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1

    Re: Relation Problem

    Quote Originally Posted by RobertXIV View Post
    Here's what the problem says:
    "Let F,G: B<->C be two relations. Prove: If F is total, G is determinate, and F G, then G F.
    Hint: If you use quantifiers, you can, for any b:B, use instantiation for ∀ (9.13) on the predicate-logic definition of totality of F."
    Seeing as how I have not a single clue on this green earth what as to what this question is asking, any help is greatly appreciated.
    I hope this is some reconciliation to you. I taught this material for over thirty years, but I have no idea what that question means.
    Thanks from topsquark
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2013
    From
    Ontario
    Posts
    15

    Re: Relation Problem

    well.. hell.
    Thanks a lot for the reply. It does actually reconcile me slightly with the subject .
    Last edited by RobertXIV; April 7th 2013 at 07:59 PM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Forum Admin topsquark's Avatar
    Joined
    Jan 2006
    From
    Wellsville, NY
    Posts
    9,845
    Thanks
    320
    Awards
    1

    Re: Relation Problem

    [rant]
    'Not to give into my OCD tendencies but
    heckheckheckheckheckheckheckheckheckheckheckheckhe ckheckheckheckheckheckheckheckheckheckheckheckheck heckheckheckheckheck
    [/rant]

    -Dan
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. relation problem
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 17th 2011, 08:17 AM
  2. Relation Problem !
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 17th 2009, 11:52 PM
  3. another relation problem
    Posted in the Pre-Calculus Forum
    Replies: 3
    Last Post: August 6th 2008, 02:30 PM
  4. Still need help with relation problem
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: March 20th 2008, 11:14 AM
  5. Relation Problem
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 21st 2008, 07:02 PM

Search Tags


/mathhelpforum @mathhelpforum