Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:herbrand_s_expansion_theorem [2008/03/24 11:32] vkuncak |
sav08:herbrand_s_expansion_theorem [2008/03/24 11:38] vkuncak |
||
---|---|---|---|
Line 23: | Line 23: | ||
===== Constructing a Propositional Model ===== | ===== Constructing a Propositional Model ===== | ||
- | We can view the set $expand(S)$ as a set of propositional variables with "long names". | + | We can view the set $expand(S)$ as a set of propositional formulas whose propositional variables have "long names". |
For an expansion of clause $C_G$ we can construct the corresponding propositional formula $p(C_G)$. | For an expansion of clause $C_G$ we can construct the corresponding propositional formula $p(C_G)$. |