Results 1 to 4 of 4

Math Help - Prove the following

  1. #1
    Newbie
    Joined
    Nov 2010
    Posts
    6

    Prove the following

    Prove:

    (1) R isTotalOnA ⇔ (∀x : A ∃ y : Y (x , y) ϵ R)

    (2) R ; (S ∩ T) ⊆ (R ; S) ∩ (R ; T)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,801
    Thanks
    1691
    Awards
    1
    Quote Originally Posted by rnuravvk View Post
    Prove:
    (1) R isTotalOnA ⇔ (∀x : A • ∃ y : Y • (x , y) ϵ R)
    WHAT?
    What does #1 & #2 say? I have no idea what those symbols mean.
    Please define the terms.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2010
    Posts
    6
    The symbol " ; " is the symbol for composition
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,801
    Thanks
    1691
    Awards
    1
    Quote Originally Posted by rnuravvk View Post
    The symbol " ; " is the symbol for composition
    Not good enough.
    Define all the terms.
    What is "TotalonA"?
    What does  \bullet mean?
    These happen to be nonstandard symbols.

    EDIT:
    Why not learn to post in symbols? You can use LaTeX tags
    [tex]\left( {\exists x} \right)[/tex] gives  \left( {\exists x} \right) is exists
    [tex]\left( {\forall x} \right)[/tex] gives  \left( {\forall x} \right) is for all
    [tex] \cup [/tex] gives  \cup is union
    [tex] \cap [/tex] gives  \cap is intersection
    [tex] \subseteq [/tex] gives  \subseteq is subset
    [tex] \cup [/tex] gives  \cup is union
    [tex] \in [/tex] gives  \in is element
    [tex] \emptyset [/tex] gives  \emptyset is emptyset
    [tex] \wedge [/tex] gives  \wedge is or
    [tex] \vee [/tex] gives  \vee is and
    [tex] \sqrt{x+1} [/tex] gives  \sqrt{x+1}
    Last edited by Plato; November 22nd 2010 at 01:12 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Prove that
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: May 21st 2010, 05:48 AM
  2. Prove n^2<= ......
    Posted in the Advanced Algebra Forum
    Replies: 12
    Last Post: November 17th 2009, 05:52 AM
  3. Replies: 2
    Last Post: August 28th 2009, 02:59 AM
  4. prove that
    Posted in the Algebra Forum
    Replies: 4
    Last Post: September 7th 2008, 05:14 PM
  5. prove
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 7th 2008, 01:45 PM

Search Tags


/mathhelpforum @mathhelpforum