i would like to know how to show form the above sentence that every model of phi_n must have at least n elements in the underlying set

Results 1 to 2 of 2

- March 20th 2011, 03:41 PM #1

- Joined
- Jan 2011
- Posts
- 46

- March 21st 2011, 12:36 AM #2

- Joined
- Oct 2009
- Posts
- 5,527
- Thanks
- 773

If is , then is not a sentence since is a free variable.

A remark concerning notation. Subscripts consisting of more than one symbol must be enclosed in parentheses or braces. Otherwise, it is not clear whether X_n-1 means or . You can use /\, \/ and ~ to denote conjunction, disjunction and negation, respectively, in ASCII. It is also not too hard to write LaTeX code for these formulas. The formula above is produced by [tex]\forall x_1,\dots,x_{n-1}.x_n\ne x_1\land\dots\land x_n\ne x_{n-1}[/tex]. Also, \lor produces , \neg produces and \exists gives .