# If every assignment that models $F$ also models $G$, does it mean that $F=G$?

$G$ and $F$ are formulas, If every assignment that models $G$ also models $F$, does it mean that $F=G$?

The question may be silly, but I'm not sure if there's some obscure scenario where $F\neq G$.

-
It depends on what you mean by $=$, really... – Zhen Lin Dec 25 '12 at 4:09

You can always extend a formula without changing its truth value by "anding" it with a tautology. So for instance $G=a \wedge b$ and $F=(a \wedge b) \wedge (a \vee \neg a)$ are satisfied by the same models but are not equal.