Yes, this proof is OK.

Results 1 to 2 of 2

- Nov 5th 2011, 11:50 PM #1

- Joined
- Nov 2011
- Posts
- 59

## Fol 1

Show that

-------------------------------------------------------------------------------

We show that any structure for the language and any function that satisfies also satisfies , where denotes a function from the set V of all variables into the universe of . For any , we have and .

It follows that . which in turn implies that .

Is this proof O.K or am I missing something?

Thank you.

- Nov 6th 2011, 11:17 AM #2

- Joined
- Oct 2009
- Posts
- 5,573
- Thanks
- 789