Results 1 to 3 of 3

Math Help - logic

  1. #1
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782

    logic

    Assuming we don't change the meaning (or truth table) of \Leftrightarrow, is it true that the truth table for \Rightarrow is the only one which makes:

    ((a \Rightarrow b) \land (b \Rightarrow a)) \Leftrightarrow (a \Leftrightarrow b)

    a tautology? Incidentally, what is the translation of this statement back to the language of \cup, \cup \ and \subset
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,901
    Thanks
    1756
    Awards
    1
    \left( {A \subseteq B} \right) \wedge \left( {B \subseteq A} \right) \Leftrightarrow \left( {A = B} \right)
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member Showcase_22's Avatar
    Joined
    Sep 2006
    From
    The raggedy edge.
    Posts
    782
    Do you have to get rid of \wedge?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Can someone check my logic (sentential logic)
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: July 13th 2010, 04:30 AM
  2. logic
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: December 1st 2008, 09:49 AM
  3. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: November 3rd 2008, 11:30 PM
  4. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: October 11th 2008, 02:42 PM
  5. Logic
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: September 12th 2007, 06:05 PM

Search Tags


/mathhelpforum @mathhelpforum