Re: Finding models to a formula

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.


Thanks for the answer.

--
Vänligen
Konrad
---------------------------------------------------

Sleep - thing used by ineffective people
as a substitute for coffee

Ambition - a poor excuse for not having
enough sence to be lazy
---------------------------------------------------

.

Relevant Pages