3


I'm sorry if that question has already been asked.

Sometimes in propositional logic when proving "$\phi \rightarrow \psi$ is a tautology" using truth tables people write $\psi \Rightarrow \phi$.
But isn't that the same as proving $\psi \vDash \phi$ since truth tables are a semantic proof method?
Where's the difference between $\vDash$ and $\Rightarrow$?

Shaun
  • 47,747
Knogger
  • 233
  • 1
    I'm glad I could help. If the answers there don't fully answer your question, then feel free to ask another question. – Joe Apr 14 '22 at 14:46

0 Answers0