[FlauFly]

Piękne zdanie

logicznie:
nie umrze nikt = nikt nie umrze = wszyscy umrą

krótki dowód:
notacja:
A:=s(B) def. A jest podzbiorem B

wszyscy def. zbiór wszystkich ludzi
ktoś := s(wszyscy) def. podzbiór wszystkich ludzi
nikt def. pusty zbiór ludzi

u(X) := zbiór osób ze zbioru X które umrą

~X := wszyscy / X def. dopełnienie zbioru

nie umrze nikt:
~u(nikt) = wszyscy

potocznie:
nie umrze nikt = nikt nie umrze = wszyscy nie umrą

hmm, pewnie dlatego, że nikt nie jest osobą w j. polskim

No cóż ja poradzę, że nasz język to nie lojban?

http://www.wszechnica.republika.pl/page6.html