1. ## Logical Implication

I was just wondering what these mean:
$\displaystyle P \vdash Q \quad \quad P \Rightarrow Q$
It might seem easy but I'm just strting out with logical.

2. Originally Posted by Grich
I was just wondering what these mean:
$\displaystyle 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