Results 1 to 2 of 2

Math Help - Logic -- have no idea how to finish this!

  1. #1
    Member
    Joined
    Apr 2008
    Posts
    107

    Logic -- have no idea how to finish this!

    Demonstrate that p ->q is equivalent to (p^q')'.

    This is what i got so far: T = true, F= false

    p q p -> q q'
    T T T F
    T F F T
    F T T F
    F F T T

    now what?? grrr
    any help is appreciated thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,616
    Thanks
    1579
    Awards
    1
    \begin{array}{ccccc}<br />
   p & q &\vline &  {p \to q} & {\neg \left( {p \wedge \neg q} \right)}  \\<br />
\hline<br />
   t & t &\vline &  t & t  \\<br />
   t & f &\vline &  f & f  \\<br />
   f & t &\vline &  t & t  \\<br />
   f & f &\vline &  t & t  \\<br />
\end{array}<br />
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 3
    Last Post: February 27th 2010, 02:06 PM
  2. how to finish this question..
    Posted in the Calculus Forum
    Replies: 1
    Last Post: March 13th 2009, 07:39 AM
  3. how to finish this question..
    Posted in the Calculus Forum
    Replies: 1
    Last Post: December 20th 2008, 05:01 AM
  4. how to finish this proof
    Posted in the Calculus Forum
    Replies: 3
    Last Post: December 2nd 2008, 11:40 AM
  5. Can anyone help me finish this
    Posted in the Calculus Forum
    Replies: 4
    Last Post: March 12th 2008, 03:47 PM

Search Tags


/mathhelpforum @mathhelpforum