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$?

  • $\begingroup$ YES! Thanks a lot! $\endgroup$
    – Knogger
    Apr 13, 2022 at 23:09
  • 1
    $\begingroup$ I'm glad I could help. If the answers there don't fully answer your question, then feel free to ask another question. $\endgroup$
    – Joe
    Apr 14, 2022 at 14:46


Browse other questions tagged .