|
|
| Тема |
 Edin stranen vapros za bylevata algebra |
|
| Автор | Thalamus (Нерегистриран) | |
| Публикувано | 24.01.03 05:34 |
|
|
|
Zdraveite.
Edin den se zamislih dali bylevata algebra otrazqva vsichkite logicheski zavisimosti ili pone osnovnata im chast. Ne se nadyvam, prosto poradi nqkoi prichini stignah do edna logicheska zavisimos, i razbirse predpolojih che tq moje da bade izrazena s bylevi fynkcii, obache sled mnogo maki razbrah che stava dyma ne za fynkciq a za neshto kato relaciq i za sajeleniq ne namerih nikvi materqli po tozi povod. Shte swm vi zadaljen ako mi pomognate.
implikaciq
x | y | x-->y
0 0 1
0 1 1
1 0 0
1 1 1
Ako bylevoto mnojestvo se vdigne na treta stepen J2^3 to implikaciqta sootvetno shte se qvqva podmnojestvo na J2^3. Moqta logichiska zavisimost e pochti kato implikaciqta i e podmnojestvo na J2^3, no ne e relaciq. Bez da se zadolbochavam shte ispisha troikite elementi ot moqta savisimost i shte poqsnq smisala:
001
011
100
111
do tyka moqta zavisimost e tochno kato implikaciqta, no az dobavqm oshte 3 troiki:
000
010
110
Kakav e smisala?!
Kogato rezyltata e edinica(nai lqvata byleva stoinost) to zavisimosta e tochno kato implikaciqta. Obache kogato rezyltata e raven na nyla to sa vazmojno vsichki kombinacii na argymentite :
pri rezyltat raven na 0 : 00, 01, 10, 11
Razlikata e tam che pri implikaciqta kogato rezyltata e raven na nyla toest implikaciqta ne e vqrna to ostava samo edna vazmojnost : 10
Pochti sam sigyren che ne vijdata smisal vse oshte v tazi logicheska zavisimost. Za da obqsnq neshtata po qsno ne moqta zavisimost mejdy x i y q oznachim s : x*-->y
togava pri (x*-->y)=1 (x*-->y)=(x-->y)
obache ako (x*-->y)=0 to (*x-->y) nqma da e ravno na (x-->y)
oshte neshto
pri (*x-->y)=1; x=0,y=0 ili x=0,y=1 ili x=1,y=1 sashto kakto pri inplikaciqta
obache pri (x*-->y)=0; x=0,y=0 ili x=0,y=1 ili x=1,y=0 ili x=1,y=1
Do tyka povtorih edno i sashto neshto nqkolko pati zada me razberete po dobre(nadqvamse che ne sam vi obarkal).
Ta smisala e sledniq:
Predstavetesi che ima dve swbitiq A i B koito sa svarzani s implikaciq A-->B, obache taq vraska ne e postoqnna, i v edin moment tq se raspadne toest A-->B=0
tova shte znachi che zadaljitelno A=1 , a B=0. Obache po nqkvo stechenie na obstoqtelstvata sabitiqta A i B sa slychat v nyjnata posledovatelnost. Tova shte protivoreci na implikaciqta. Obache nqma da protivoreci na A*-->B. Ostava vaprosa dali v realniq svqt e vazmojna takava sityaciq. Разбирасе в този пример има противоречие защото ако импликацията не е то няма как двете сабития да се случат в нъжната последователнос. От друга ще има противоречие ако импликацията наистина е адекватна логическа зависимос. А дали е така. Всашност аз имам доста по сериозен пример в които импликацията не е адекватна, поне според мене. Но преди да говоря за това бих искал да знам дали има интерес кам темата.
Маи звуча доста надуто:)))))))))))))))))
| |
| |
| 
|
|
