# Logical Implication

Printable View

• Sep 12th 2008, 04:31 AM
Grich
Logical Implication
I was just wondering what these mean:
$
P \vdash Q \quad \quad
P \Rightarrow Q
$

It might seem easy but I'm just strting out with logical.
• Sep 12th 2008, 05:48 AM
Jhevon
Quote:

Originally Posted by Grich
I was just wondering what these mean:
$
P \vdash Q \quad \quad
P \Rightarrow Q
$

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