cwbe coordinatez:
101
7763757
63577
860188
620780
620786
636751
791873

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::8
total children::5
show[ 2 | 3] flat
Operacia je to, co sa s jednou vetou musi udiat, aby sa z nej urobila ina veta.




000001010776375700063577008601880062078000620786006367510079187300791888
Prospero
 Prospero      06.05.2004 - 15:14:33 , level: 1, UP   NEW
Operacia sa ukazuje v premennej; ukazuje, ako mozno od jednej formy viet dospiet k inej forme viet.
Vyjadruje rozdiel foriem.
(A to spolocne medzi bazami a vysledkom operacie su práve bazy.)

00000101077637570006357700860188006207800062078600636751007918730079188800791896
Prospero
 Prospero      06.05.2004 - 15:16:41 , level: 2, UP   NEW
Ta ista operacia, ktora z "p" urobi "q", urobi z "q" "r" atd. Da sa to vyjadrit len tak, ze "p", "q", "r" atd. su premenne, ktore vseobecne vyjadruju iste formalne relacie.

00000101077637570006357700860188006207800062078600636751007918730079188800791891
Prospero
 Prospero      06.05.2004 - 15:15:01 , level: 2, UP   NEW
Operacia nevyznacuje formu, ale iba rozdiel foriem.

000001010776375700063577008601880062078000620786006367510079187300791883
Prospero
 Prospero      06.05.2004 - 15:12:19 , level: 1, UP   NEW
Pravdivostne funkcie elementarnych viet su vysledkami operacii, ktore maju ako bazy elementarne vety. (Tieto operacie nazyvam pravdivostnymi operaciami).

00000101077637570006357700860188006207800062078600636751007918730079188300791884
Prospero
 Prospero      06.05.2004 - 15:12:43 , level: 2, UP   NEW
Zmysel pravdivostnej funkcie p je funkciou zmyslu p.
Negacia, logicke scitanie, logicke nasobenie, atd. atd. su operacie.
(Negacia obracia zmysel vety.)

000001010776375700063577008601880062078000620786006367510079187300791880
Prospero
 Prospero      06.05.2004 - 15:11:02 , level: 1, UP   NEW
Operacia sa moze vyskytnut az tam, kde jevna veta vznika z inej vety logicky zmysluplnym sposobom. Teda tam, kde sa zacina logicka konstrukcia vety.

000001010776375700063577008601880062078000620786006367510079187300791877
Prospero
 Prospero      06.05.2004 - 15:09:35 , level: 1, UP   NEW
Interna relacia ktora usporaduva nejaky rad, je ekvivalentna s operaciou, prostrednictvom ktorej vznika jeden clen z ineho clena.

000001010776375700063577008601880062078000620786006367510079187300791875
Prospero
 Prospero      06.05.2004 - 15:08:52 , level: 1, UP   NEW
A to bude, prirodzene, zavisiet od ich formalnych vlastnosti od internej podobnosti ich foriem.