Re: Finding models to a formula

On Thu, 14 Dec 2006, Konrad Viltersten wrote:

Given is the formula

AxAyAz:(x=y OR y=z OR x=z), where A is "for all"

The models i've found are on form:
"any model with not more than two elements".

Could the above statement be contradicted? Can it be
completed by additional models?

No, there is no disproof as there's a model.
The only models are those with universe set of one or two elements.
.