:))))))))))))))))))))))))))))))))))
Kolkoto pati kazah che asociaciqta ne e fynkciq tolkova pati mi otgovoriha che tova ne e fynkciq:)))))))))
Ne go bytam pri fynkciite. Qvno vsichki sa se zaciklili na tezi fynkcii:))))))))))))
Iskam da otbeleja che bylevata fynkciq x-->y(implikaciq) e podmnojestvo na
({0,1}X{0,1}) X {0,1} - ot difiniciqta na termina fynkciq. Spomenatoto mnojestvo moje da se zamesti sas mnojesrvoto {0,1}^3. Toest da se prieme che implikaciqta x-->y e podmnojestvo na {0,1}^3. Ot tova nqma da ima zagyba na svoistva ili pridobivane na novi, sashto taka nqma da ima i protivorechiq. Razlikata na elementite ot dvete mnojestva e slednata:

((x,y),z) prinadleji na ({0,1}X{0,1}) X {0,1}

(x,y,z) prinadleji na {0,1} X {0,1} X {0,1}={0,1}^3

Moeto zagadachno podmnojestvo na {0,1}^3 e slednoto:

000
001

010
011

100

110
111

Neka tova podmnojestvo go narichame asociaciq i go oznachavame taka :
(x-->>y) = z

Sega da vidim elementite na implikaciqta

001
011

100

111

Implikaciqta se oznachava taka :
x-->y = z

Asociaciqta ne e fynkciq.
Implikaciqta e fynkciq.
Implikaciqta e podmnojestvo na asociaciqta - ochevidno.

Iskam da predypredq - tova che za asociaciqta ispolzvam sashtata simvolika kato za bylevi fynlcii ne znachi che asociaciqta q razglejdam kato fynkciq!!!!!!!!!!!!
Da vidi prilikite i razlikite mejdy implikaciqta i asociaciqta.

1)Pri z=1 x-->y = x-->>y !!!!!!!!!!!!!
Kakvo imam predvit?!?!?!?!
Tova che ako x-->>=const=1 to asocoacoqta moje da se razglejda kato fynkciq, no osven tova tq i shte e ravna na implikaciqta pri yslovie che i tq e ravna na 1.

2)Pri z=0 x-->y ne= x-->>y

Zashto vavejdam asociaciqta i q sravnqvam s implikaiqta?!?!?

Za da otgovora na tozi vapros trqbva ne formalno da si predstavite che asociaciqta(x-->>y) e zamestitel na implikaciqta(x-->y).Veche spomenah che kogato implikaciqta e vqrna i asociaciqta e vqrna to te se ravnqvat - tova e mnogo vajno. Implikaciqta poprincip se ispolzva samo gogato e vqrna.Obache namen mi se naloji da razglejdam slychai kogato implikaciqta si meni vernosta vav vremeto!!!
Kogato implikaciqta ne e vqrna (x-->>y)=0 to ot tova sledva che x=1 i y=0. Tova sledstvie mi prechishe. S drygi dymi implikaciqta mi varshshe rabota dokato e vqrna i ne mi varshsh rabota kogato ne e vqrna. Kogato se opitah da difiniram byleva fynkciq sas nyjnote mi svoistva to polychi asociaciqta. Koeto znachshe che iskanite ot mene svoistva ne mojeha da se izrazqt sas fynkciq!!!

Kakva beshe taizi starnna sityaciq koqto me nakara da difiniram asociaciqta (x-->>y)?!?!?!?!!?!?!?!?!!!!!

Sityaciqta e svarzana do golqma stepen s psihologiqta. sigorno ste chyvali termina asociaciq samoche v psihologichen kontekst. E nakratko, asociaciqta moje da se vaspriema taka:

Ako se setim za x to sled dadeno vreme shte se setim za y.

Naprimer ako se setim za pqsak do sled tova shte se setim i za moreto. spomena za moreto mojem dago oznachime s x a spomena za moreto s y togava tazi asociaciq mojem prosto da q zapishem taka - x-->>y . Qsno e che podobna asociaciq shte imame samo ako tq priswstva v nasheta pamet. Toest ne e zadaljitelno vseki chovek kato se seti za pqsak da se seshta i za moreto. Az x i y gi naricham ASOCIANTI. Asociantite mogat da se vaspriemat kato edinici nqkva informaciq. Fakta che se seshtame za dadna edinica informaciq ili pak sme q vasprieli v momenta go oznachavam taka - x=1. Ako asocianta x nito go sme vasprieli v momenta nito sme s setili za nego to tozi fakt go oznachavame taka - x=0. Pri opredeleni obstoqtelstva dava proizvolni asocianta mogat da osashtestvqvat vraska toest da obrazyvat asociaciq. Ako asociantite x i y sa obrazyvali asociaciq to tozi fakt go oznachavam taka x-->>y=1. Tova che sa obrazyvali asociaciq znachi che tazi vraska(asociaciqta) e zapametena v postoqnnata pamet na choveka. S drygi dymi choveka moje da zapametqva asociacii toest vraskite mejdy asociantiti(edinicite informaciq). Vsqka edna vraska (asociaciq) kakto moje da bade zapameten taka moje da bade i zabravena. Ako asociaciqta x-->>y e zabravena ili pak nikoga ne e bila zapametqvana to tozi fakt go oznachavame taka - x-->>y=0 .

Obobshtenie:

1) Neka x i y sa asocianti
2)Togava asociaciqta x-->>y moje da priswstva v pameta moje i da ne priswstva.
3)Fakta che asociaciqta x-->>y prisastva v pameta go oznachvame taka -
x-->>y=1.
4)Fajta che asociaciqta x-->>y ne prisastva v pameta go iznachavame taka-
x-->>y=0
5)Asociaciqta ne e fynkciq.

Svoistva na asociaciqta x-->>y:

1) Ako x-->>y=1 to ako x=1 to sled daden interval vreme y=1
tova svoistvo sas dymi se chete taka:
ako asociaciqta ot x kam y prisastva v pameta to ako se setime za x to shte se setime i za y.

2)Ako x-->>y=1 to ako x=0 to y=0 ili y=1.
smisala na tova svoistvo e che ako asociaciqta ot x kam y prisastva v pamete i ako v daden moment vreme ne se setime za x to tova ne oznachava che nqma da se setime za y.
Naprimer: ako x-->>y=1 i a-->>y=1 i x=0 i a=1 to nie bez da se sehstame za x shte se setime za y.

3)Tova svoistvo do tyk ne sam go spomenaval!!!
Ako x-->>y=0 to sa vazmojno vsichki variqnti:
x=0, y=0
x=0, y=1
x=1, y=0
x=1, y=1
Tova svoistvo pokazva che asociaciqta ne e fynkciq!!! Osven tova to pokazva che ako asociaciqta x-->>y ne prisastva v pameta to nie nqmame nikakva informaciq za tova "kakvo shte stane"!!!
Kakvo imam predvit!?! Zada obqsnq shte posocha edno mnogo vajno svoistvo na asociantite.Za da posocha tova svoistvo trqbva da vaveda slednata logicheska konstrykciq, koqto q narichqm asociantna veriga. Asociantnata veriga po svoqta sashnost e bylevata fynkciq i. Sas savsem malki osobenosti.

Asociantna veriga.

Neka imame interval vreme dT (delta T), dT>0.
Neka x i y sa asocianti.
Togava asociantnata veriga ot x kam y shte se zaposva taka -
x && y,dT
Neka Tx e moment vreme vav koito shte razglejdame stoinosta na x.
Neka Ty e moment vreme vav koito shte razglejdame stoinosta na y.
Neka Tz e moment vreme vav koito shte razglejdame stoinosta na (x && y,DT)=z
Priemame che dT=Ty-Tx i che Tz=Ty.

toest:
ako v moment Tx x=0 i v moment Ty y=0 to v moment Tz=Ty z=0
ako v moment Tx x=0 i v moment Ty y=1 to v moment Tz=Ty z=0
ako v moment Tx x=1 i v moment Ty y=0 to v moment Tz=Ty z=0
ako v moment Tx x=1 i v moment Ty y=1 to v moment Tz=Ty z=0

Kakto se vijda se polychava tablica na istinnost.

Neka se varnem na vaprosa. Shtqh da pokaja edno mnogo vajno svoistvo na asociantite a to e :

ako x i y sa asocianti to (x && y, dT ) e sashto asociant!!!

Shtqh da obqsnq smisala na 3-toto svoistvo na asociaciqta s primer.

Primer:

Neka
x-->>(y1 && y2, dT)=1
y1-->>y2=0

Togava nezavisimo ot tov che y1-->>y2=0 ni e shte mojeme da se setime za y1 i sled tova za y2. Tova shte stane ako se setime za x. Toest ako se setime za x to sled tova shte se setime y1 i sled tova za y2.


Oh.....................
Neznam dali yspqh da obqsnq ideqta. V nachalito govorih za implikaciq zashtoto e mnogo vajno da se razbere kavi sa razlikite i kakvi sa prilikite mejdy asociqciqta i implikaciqta. Zashto e vajno zashtoto mojebi sashtestvyvat logicheski zavisimosti koito ne sa fynkcii i izobshto ne sa difinirani v logigata, no nezavisimo ot tova te imat mqsto v realniq svqt. Vav primera koito razgledah logicheskata stryktora asociaciq nqma nachin da bade izrazena po nikakav ot logikata poprincip. Pone spored moite znaniq v oblasta. Zashtoto neshto koeto ne e fynkciq nqma kak da se izrazi sas fynkciq, predikatnoto smqtane pak nqma nishto obshto sas asociaciite , algebrata na tvardeniqta ispolzva logicheski svrwski ot bylevata algebra, a s byleva algebra , kakto veche kazah nqm nachin da se izrazi asociaciqta. Shte vi kaja che asociaciqta e mnogo rasprostranena logicheska stryktora v jivota no mnogo trydno se otkriva zashtoto prilicha na implikaciqta i horata si mislqt che stava dyma za implikaciq. Ako ne ste zabravili kogato asociaciqta e vqrno to tq si e kato implikaciqta. Razlikata se proivqva kogato asociaciqta stane ne vqrna. A povecheto hora ne sa sviknali izobshto da razglejdat slychai v koito logicheskata stoinost se meni s vremeto. Dali izobshto ima smisal da se razglejdat slychai kadeto se meni logicheskata stoinost s vremeto?!?!? Spored mene tova e zadaljitelno - sveta e dosta dinamichen. I sigorno ako se zamislite shte mojete da dadete primer v koito logicheskata stoinost se meni.

Eni tova e . Shte se radvam ako prodaljim diskysiqta sashtoto ideqta da se vavede ponqtieto vreme v logigata spored mene e interesna, osven tova dali ima oshte logicheski stryktori koito ne sa fynkcii no imat mqsto v realniq jivot.
Smernete kolko sa vazmojnite podmnojestva na {0,1}^3 i shte razberete kolko ne sa znae po tozi vapros, a da negovorim poprincip za {0,1}^n :))))))))))))))))))))