SOLUTION: what is the difference between ⊨ and ⊢ ?

Algebra ->  Proofs -> SOLUTION: what is the difference between ⊨ and ⊢ ?      Log On


   

Question 840954: what is the difference between ⊨ and ⊢ ?
Answer by Fombitz(32388) About Me  (Show Source):
You can put this solution on YOUR website!
P ⊢ Q means a syntactic consequence while P ⊨ Q means a semantic consequence.
These are beyond the scope of this algebra site.
Look up semantic and syntactic consequence to see examples and get a better understanding.