Tagged Questions
0
votes
1answer
56 views
Modelchecking on Automata, $\phi$ not SAT and $\phi \models$ False
Given a formula $\phi$
Is $\phi \models FALSE$ equivalent to $\phi$ not SAT?
Or does $\phi \models FALSE$ means that $\phi$ is never $TRUE$ and $\phi$ not SAT means, that there existst at least one ...
