2
$\begingroup$

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

  • 1
    It depends on what you mean by $=$, really...2012-12-25

1 Answers 1

5

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.

  • 2
    Consequently, the answer to the question is "no", and this implies that there exist an infinity of "obscure scenarios" where F≠G.2012-12-25