Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
It depends on what you mean by $=$, really... – Zhen Lin Dec 25 '12 at 4:09
up vote 5 down vote accepted

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.

share|cite|improve this answer
Consequently, the answer to the question is "no", and this implies that there exist an infinity of "obscure scenarios" where F≠G. – Doug Spoonwood Dec 25 '12 at 5:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.