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$
$\endgroup$
2
-
$\begingroup$ YES! Thanks a lot! $\endgroup$– KnoggerApr 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$– JoeApr 14, 2022 at 14:46
Add a comment
|