Results 1 to 2 of 2

Thread: Logical Implication

  1. September 12th 2008, 04:31 AM #1
    Grich
    Grich is offline
    Newbie Grich's Avatar
    Joined
    Aug 2008
    From
    Sydney
    Posts
    12

    Logical Implication

    I was just wondering what these mean:
    <br /> P \vdash Q \quad \quad<br /> P \Rightarrow Q<br />
    It might seem easy but I'm just strting out with logical.
    Follow Math Help Forum on Facebook and Google+
  2. September 12th 2008, 05:48 AM #2
    Jhevon
    Jhevon is offline
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by Grich View Post
    I was just wondering what these mean:
    <br /> P \vdash Q \quad \quad<br /> P \Rightarrow Q<br />
    It might seem easy but I'm just strting out with logical.
    google is your friend, and so is wikipedia most of the time. this is the first page that came up when i googled "symbols in logic"

    Table of logic symbols - Wikipedia, the free encyclopedia
    Follow Math Help Forum on Facebook and Google+
« discrete mathematics..help!!!!! | Math induction explanation »

Similar Math Help Forum Discussions

  1. logical implication
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 13th 2011, 04:09 PM
  2. Logical Implication
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 25th 2010, 01:33 AM
  3. Prove/disprove using logical using logical arguments
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: February 24th 2010, 06:29 AM
  4. Using truth tables to show logical consistancy between logical expressions
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: January 21st 2010, 07:45 AM
  5. the difference between implication and a logical implication
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: August 19th 2008, 06:24 PM

Search Tags


/mathhelpforum @mathhelpforum