Matematické Fórum

Existuji alespon 3 prvky s vlastnostni p. Jaka je negace v prirozenem jazyce? Existuji nejvyse 2 prvky s vlastnosti p?

Napsal jsem si puvodni formuli a znegoval ji:

puvodni formule (prepsana teda z prirozeneho jazyka do predikatove logiky):
(Ea)(Eb)(Ec)(P(a) a P(b) a P(c) a non(a=b) a non(a=c) a non(b=c))

znegovana formule:
(Va)(Vb)(Vc)(nonP(a) v nonP(b) v nonP(c) v a=b v a=c v b=c)

Dokazal by mi nekdo po lopate vysvetlit, jestli to znamena teda to, ze existuji nejvyse 2 prvky s vlastnosti p a proc? Prijde mi, ze to spis rika, ze jestli vemu jakekoliv 3 prvky a,b,c, tak pak plati, ze vlastnost p maji nejvyse 2, nikoliv, ze existuji nejvyse dva prvky s vlastnosti p... poradite? Diky.