cwbe coordinatez:
101
7763757
63577
860188
620780
620786
636751
791903

ABSOLUT
KYBERIA
permissions
you: r,
system: moderated
net: yes

neurons

stats|by_visit|by_K
source
tiamat
K|my_K|given_K
last
commanders
polls

total descendants::7
total children::4
show[ 2 | 3] flat
Vyskyt operacie necharakterizuje zmysel vety.
Operacia predsa nic nevypoveda, iba jej vysledok, a ten zavisi od baz operacie.
(Operacia a funkcia sa nesmu navzajom zamienat.)




000001010776375700063577008601880062078000620786006367510079190300791932
Prospero
 Prospero      06.05.2004 - 15:25:35 , level: 1, UP   NEW
Operacia moze zmiznut (napr. negacia v "~~p~:~~p=p).

000001010776375700063577008601880062078000620786006367510079190300791929
Prospero
 Prospero      06.05.2004 - 15:25:02 , level: 1, UP   NEW
Jedna operacia moze eliminovat ucinok inej operacie. Operacie sa mozu navzajom rusit.

000001010776375700063577008601880062078000620786006367510079190300791907
Prospero
 Prospero      06.05.2004 - 15:19:50 , level: 1, UP   NEW
Len tak je mozny postup od clena k clenu v rade foriem (od typu k typu v Russelllovych a Whiteheadovych hierarchiach).(Russell a Whitehead moznost tohto pristupu nepripustali, ustavicne ju vsak vyuzivali.)

00000101077637570006357700860188006207800062078600636751007919030079190700791926
Prospero
 Prospero      06.05.2004 - 15:24:35 , level: 2, UP   NEW
Pojem sukcesivneho pouzitia operacie je ekvivalentny s pojmom "a tak dalej".

00000101077637570006357700860188006207800062078600636751007919030079190700791920
Prospero
 Prospero      06.05.2004 - 15:23:29 , level: 2, UP   NEW
Vseobecny clen radu foriem a,O',O'O'a,... pisem preto takto: "[a,x,O'x]". Tento vyraz v zatvorke je premenna.

Prvy clen vyrazu je zaciatok radu foriem, druhy je forma lubovolneho clena x tohto radu a treti je forma toho clena radu, ktory nasleduje bezprostredne za x.

00000101077637570006357700860188006207800062078600636751007919030079190700791912
Prospero
 Prospero      06.05.2004 - 15:21:33 , level: 2, UP   NEW
Opakovane pouzitie operacie na jej vlastny vysledok nazyvam jej sukcesivnym pouzitim ("O'O'O'a" je vysledkom trojnasobneho sukcesivneho pouzitia "O'XSI" na "a"). V podobnom zmysle hovorim o sukcesivnom pouziti viacerych operacii na nejaky pocet viet.

000001010776375700063577008601880062078000620786006367510079190300791906
Prospero
 Prospero      06.05.2004 - 15:18:46 , level: 1, UP   NEW
Funkcia nemoze byt svojim vlastnym argumentom, vysledok operacie sa vsak moze stat jej vlastnou bazou.