Results 1 to 3 of 3

Math Help - Quick logic question

  1. #1
    Newbie
    Joined
    Feb 2010
    From
    Trondheim
    Posts
    8

    Quick logic question

    How can i write A /\ B (A and B) using only the signs for negation and the sign for if then (the right facing arrow)

    I know i am supposed to use the changing laws but i cant figure out how.


    Regards
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    May 2009
    From
    Zagreb
    Posts
    65
    Quote Originally Posted by Monika1987 View Post
    How can i write A /\ B (A and B) using only the signs for negation and the sign for if then (the right facing arrow)

    I know i am supposed to use the changing laws but i cant figure out how.


    Regards
     \neg( A \Rightarrow B ) \Longleftrightarrow A \wedge \neg B --- you can check this with table of truth ( i think that is the term in english, maybe not ( it is just literal translation from my language ) )

    so

    you need  A \wedge B \Longleftrightarrow A \wedge  \neg(\neg B) \Longleftrightarrow \neg( A \Rightarrow \neg B )

    what a mistake!!!
    Last edited by josipive; March 11th 2010 at 06:29 AM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,617
    Thanks
    1581
    Awards
    1
    Quote Originally Posted by Monika1987 View Post
    How can i write A /\ B (A and B) using only the signs for negation and the sign for if then (the right facing arrow)
    Actually it is A \wedge B \equiv \neg \left( {A \to \neg B} \right).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Logic Question
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: July 20th 2010, 12:43 PM
  2. [SOLVED] A logic question!!
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: July 11th 2010, 02:05 PM
  3. logic question
    Posted in the Algebra Forum
    Replies: 3
    Last Post: October 20th 2009, 11:52 PM
  4. Logic Question
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: June 23rd 2008, 11:24 PM
  5. Quick's quick question
    Posted in the Number Theory Forum
    Replies: 22
    Last Post: July 9th 2006, 04:38 PM

Search Tags


/mathhelpforum @mathhelpforum