Results 1 to 2 of 2

Thread: showing to statments are equivalent

  1. September 22nd 2011, 10:00 PM #1
    Jskid
    Jskid is offline
    Member Jskid's Avatar
    Joined
    Jul 2010
    Posts
    160

    showing to statments are equivalent

    I'm trying to show \neg(a \vee b) \wedge [(\neg a) \wedge b] \leftrightarrow \neg a
    So far I've distributed and got [\neg(a \vee b)\vee(\neg a)]\wedge[\neg(a \vee b) \vee b]
    Follow Math Help Forum on Facebook and Google+
  2. September 23rd 2011, 02:42 AM #2
    Plato
    Plato is online now
    MHF Contributor
    Joined
    Aug 2006
    Posts
    17,001
    Thanks
    776
    Awards
    1
    MHF Donor

    Re: showing to statments are equivalent

    Quote Originally Posted by Jskid View Post
    I'm trying to show \neg(a \vee b) \wedge [(\neg a) \wedge b] \leftrightarrow \neg a
    To see that statement is not valid let a\equiv F~\&~b\equiv T
    Follow Math Help Forum on Facebook and Google+
« proving infinite n | How many ways »

Similar Math Help Forum Discussions

  1. Showing Sn\Sm is homotopy equivalent to Sn-m-1
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 6th 2011, 01:40 PM
  2. how are these two statments logically equivalent?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: October 3rd 2011, 09:49 PM
  3. equivalent?
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: June 2nd 2010, 02:37 AM
  4. How are these equivalent
    Posted in the Calculus Forum
    Replies: 2
    Last Post: May 24th 2010, 06:54 AM
  5. Function Limit statments
    Posted in the Calculus Forum
    Replies: 1
    Last Post: November 29th 2008, 09:03 PM

Search Tags


/mathhelpforum @mathhelpforum