Results 1 to 3 of 3

Thread: logic

  1. November 2nd 2008, 05:34 AM #1
    Showcase_22
    Showcase_22 is offline
    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. November 2nd 2008, 08:15 AM #2
    Plato
    Plato is offline
    MHF Contributor
    Joined
    Aug 2006
    Posts
    16,979
    Thanks
    771
    Awards
    1
    MHF Donor
    \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. November 2nd 2008, 11:53 PM #3
    Showcase_22
    Showcase_22 is offline
    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+
« Equivalence Relations: Symbol Confusion | equivalence relations »

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, 03:30 AM
  2. logic
    Posted in the Math Topics Forum
    Replies: 1
    Last Post: December 1st 2008, 08:49 AM
  3. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: November 3rd 2008, 10:30 PM
  4. logic
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: October 11th 2008, 01:42 PM
  5. Logic
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: September 12th 2007, 05:05 PM

Search Tags


/mathhelpforum @mathhelpforum