Matematické Fórum

Ahoj, mám v predikátové logice formalizovat výrok: Žádné celé číslo není větší, než jeho druhá mocnina.
Ještě mám dány predikáty x je celé číslo, x je větší než y a funkční symbol druhá mocnina x.
Já bych to udělal takto:  . Náš profesor to udělal trochu jinak, nejdříve si větu převedl na to, že existuje celé číslo, pro které platí, že je větší než jeho druhá mocnina a to znegoval. . Ale nevím, proč tam místo spojky a nepoužil implikaci.

Mohl by mi někdo říct, kdy se používá implikace a kdy spojka a.

Ještě bych se chtěl zeptat, jak silně váže implikace (vím že nejslaběji, ale co to znamená) ? Mám příklad A pak už normálně roznásobit závorky ? Nebo to dopadne takhle:

Děkuji