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:38] vkuncak |
sav08:herbrand_s_expansion_theorem [2008/04/01 15:59] giuliano |
||
---|---|---|---|
Line 28: | Line 28: | ||
**Example** | **Example** | ||
+ | Let's consider the expanded formula $F=P(f(a)) \wedge R(a, f(a))$, then $p(F)=p_1 \wedge p_4$ | ||
- | Define propositional model $I_P : V \to \{{\it true},{\it false\}\}$ by | + | Define propositional model $I_P : V \to \{\it true},{\it false\}$ by |
\[ | \[ | ||
I_P(p(C_G)) = e_F(C_G)(I) | I_P(p(C_G)) = e_F(C_G)(I) |