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$?
Asked
Active
Viewed 107 times
3
-
YES! Thanks a lot! – Knogger Apr 13 '22 at 23:09
-
1I'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