Izvinqvai no ne te razbrah ako mojesh po podrobno. Nqma znachenie kak se naricha az go narekoh zavisimost poneje nqma za tova termi i tova parvo mi doide na akala;)) Ako trqbva da badem savse formalno to tazi zavisimost(ili princip) ne i relaciq. Zashtoto se kazva che mnojestvoto R e relaciq ako R e podmnojestvo ili e ravno na mnojestvoto A X B. V nashiq slychai zavisimosta e podmnojestvo na {0,1} X {0,1} X {0,1}. Vprochem zavisimosta moje da se predstavi i kato relaciq , samoche na mnojestvoto ( {0,1}X{0,1} ) X {0,1}. Razlikata mejdy tova i predishnoto mnojestvo e che parvoto sadarja enorki ot tri elementa dokato vtoroto enorki ot dva elementa toest (x,y,z) - element na parvoto mnojestvo,
( (x,y) , z ) - element na vtoroto mnojestvo. No v slychaq tova sa glyposti zashtoto e vse tyaq kak go izrazish.
Vajen vakt e che bylevite fynkcii sa podmnojestva na zavisimostite ot tozi tip. Toest te sa chasten slychai. Nai interesnoto che ako se opitame da ispolzvame podobni zavisimosti(ili principi, nqma znachenie kak go narichame) to bylevata algebra se promenq korenno. No tova e dryga tema. Ima i oshte neshto - zamislql li se se za tova che na matematicheskata logika poptincip i liopsva ponqtieto vreme. Naprimer implikaciqta a-->b moje da oznachava dosta razlichni neshta za da poqsnq shte vaveda nqkoi neshta:
neka Ta e moment vreme kogato a vrashta stoinost( 1 ili 0), Tb e moment vreme kogato b vrashta stoinost, Ti e moment vreme kogato implikaciqta vrashta stoinost. Neka Tab = const = Tb - Ta. Neka Ti = Ta - vinagi. Neka predpolojim che vav vseki moment vreme Ta i Tb vrashta stoinost. Toest nqma takav moment vreme v koito da ne se znae dali tvardeniqta sa vqrni ili ne. Togava polychavame che vav vseki dva momenta vreme t1 i t2 shte imamme edna ot 4-te vazmojni kombinacii :
a=0,b=0
a=0,b=1
a=1,b=0
a=1,b=1

Ot tova pak sledva che vav vseki moment vreme implikaciqta shte vrashta stoinost.
Sega neka zadademe implikaciqta x-->y,Tab.
Kadeto Tab e intervala vreme mejdy x i y.
Naprimer neka Tab=5min.
Togava ako v t1=0 (x-->y)=1 i x=1 to v t2 = 0+Tab = 0+5 = 5 y=1
Ako obobshtim to shte polychim che pri Tab>0 t1<t2 toest parvo shte e vqrno x i sled tova y.
Ako Tab=0 togava t1=t2 toest x i y shte sa ravni ednovremenno.
I sega nai interesnoto:)))) Ami ako Tab<0??!?!?!?!
Tova shte znachi che t1>t2 toest ako e vqrna implikaciqta i x nastoqshteto to ot tova hste sledva che y shte stane vqrno v minaloto.

:)))))))))))))))))))))))))))))))))))))))))0

Iskam da pokaja kolko fakti se gybqt kato ne se vavejda ponqtieto vreme v matematicheskata logika. Sega edin vapros dali v realnosta e vazmojno da sashtestvyva implikaciq x-->y,Tab koqto shte e vqrna vseki edin moment vreme, a intervala Tab<0????
:)))))))))))))))))))