Matematické Fórum

Zdravím, mohl by mi někdo zkontrolovat a pomoct s následujícími příklady?

1)
Uveďte 2 modely hustého lineárního uspořádání v jazyce L={<} které nejsou elementárně ekvivalentní.
Uveďte formuli téhož jazyka, která platí v prvním modelu ale neplatí v druhém.

Mám tyto modely


a tuto formuli



2)
V jazyce aritmetiky L={+,=} zformalizujte "Žádné sudé číslo není dělitelné 3"

Takto jsem zformalizoval, každé sudé číslo je dělitelné 3

a po znegování


3)
Napište 3 formule jazyka L={0,1,+,*, =}, které platí v Booleově algebře ale neplatí v
Pomocí téhož jazyka definujte uspořádání Booleovy algebry a uspořádání 

U toho to příkladu vůbec jak začít.

Děkuji za pomoc.