. Vagyonnövekedéskor az eseménykoordináta pl. lehet: <381;911>, vagyoncsökkenéskor pedig pl. lehet: <-381;-471 >. Mindenesetre: az adat-n-es a változás helyét (azaz: mely osztályozásban, melyik osztály részösszege változik) és jellegét (nı vagy csökken a részösszeg) kell mutassa - ezért is nevezhetı analógiával élve eseménykoordinátának -, míg az adat-n-es tényleges konstrukciójának kialakítása, funkciójának alárendelve, szabadon megválasztható. Azaz a formája változhat, a tartalma nem, mert az utóbbi objektíve adott. p’>0, így felhasználva, hogy p’=1p, behelyettesítéssel kapjuk a (d) 1>1-p>0 egyenlıtlenségrendszert. Eme (d) alakból átrendezéssel kapható: 0
21 1.112 Az vagyonkönyvvitel vagyonelméletének fogalmai13
1. Bruttóvagyon alatt a gazdálkodó14 adott idıpontban létezı vagyonát15 alkotó vagyontárgyainak összességét vagy16 öszszes mennyiségét vagy összes pénzbeli értékét értjük. 2. Nettóvagyon (másképp: saját vagyon) alatt a gazdálkodó adott idıpontban, azonos mértékegységben kifejezett bruttóvagyonának17 és adósságának18 (másképp: idegen vagyonának) a különbségét értjük. 3. Leltározásnak nevezzük a gazdálkodó adott idıpontban fellelhetı (létezı) bruttó- és nettóvagyona, valamint adóssága/idegen vagyona individuumainak mennyiség és pénzérték, de legalább mennyiség szerinti teljes körő számbavételét. 4. Leltárnak nevezzük a leltározással nyert adatok összességét. 5. A vagyonosztályozás olyan osztályozás melynek abszolút alaposztálya vagy azonos a vagyontárgyak halmazával egy adott idıpontban, vagy azonos egy adott idıszakban bekövetkezett vagyonváltozások halmazával.
13
Az általános és a speciális könyvvitelek fogalmai e ponton elkülönülnek egymástól. A speciális könyvvitelek csoportosíthatók aszerint, hogy a könyvelés bizonylatokon alapul-e vagy sem, vagy aszerint, hogy az alaphalmaz elemeinek mennyisége, avagy az elemek valamely pozitív együtthatójú lineáris transzformáltjának összértéke (É) az idıben monoton nem csökken vagy az idıben az É érték a [0;M és 0<M<+∞] intervallumban bármely értéket felvehet, és adott esetben a görbéje hullámzik (É-nek van, vagy vannak maximumértékei). Utóbbit nevezzük opcionálisan hullámzó mennyiség-értékő halmaznak. Ez utóbbi könyvvitelosztálynak a bizonylatokon alapuló könyvviteli alosztályába tartozó egyik speciális könyvvitele az e könyvben tárgyalt vagyonkönyvvitel is. Valamint ide tartozik például a telefonszámok nyilvántartása (könyvvitele – ennek bizonylatai a szolgáltatási szerzıdések), a könyvtári kölcsönzés könyvvitele (bizonylatai a kölcsönzési jegyek), stb. A nem bizonylaton alapuló könyvvitelek monoton nem csökkenı É értékő alosztályába tartozik például a speciális könyvvitelek közül az iskolai tudás könyvvitele (ennek kronologikus adatbázisa az osztálynapló és tudásmérlegre vezet – ld. A). függelék), vagy például a havi telefonhívások költségének könyvvitele (ez pl. idı-hívó számok-hívott számok-aspektusú mérlegre vezetett – ld. B) függelék), vagy a futballban a piros-sárga lapok könyvvitele ☺. 14 Itt a gazdálkodó definiálatlan alapfogalom csakúgy, mint pl. a következık fogalmak: vagyon, vagyontárgy, adósság, követelés, adós, hitelezı, halmaz, halmaz eleme, részhalmaz, diszjunkt, unió (egyesítés), metszet/közös rész, üres halmaz, ekvivalenciareláció, függvény, függvényérték, mértékfüggvény, mennyiség, pénzérték, különbség (egyenleg), gazdasági esemény. 15 A vagyon is tehát definiálatlan alapfogalom. Elmondható a vagyonról, hogy az a gazdálkodó tulajdonában lévı, pénzértékkel bíró és forgalomképes (vagyis eladható) javak összessége. E javak lehetnek anyagi és nem anyagi (immateriális) javak (utóbbiak más szóval: jogok). 16 A ’vagy’ szót e mőben mindig ’kizáró vagy’ értelemben használom az ’és/vagy’ kifejezéssel szemben, melynek helyi érvényét mindig külön jelzem. 17 A bruttóvagyon voltaképp a semmivel nem csökkentett vagyon, melynek több – a lényeget más-más nézıpontból megközelítı – érvényes definíciója van. Az egyik például a nettó vagyon definíciója alapján a következı lehet: Bruttóvagyon az azonos idıpontban és mértékegységgel kifejezett saját és idegen vagyon algebrai összege (ld. még az 5. tételt.). 18 Az adósság is itt definiálatlan alapfogalom, melyrıl általában ismert tény, hogy valamely gazdálkodó fizetési kötelezettsége, mely pénz és/vagy más vagyontárgy átadására, illetve egyéb ellenszolgáltatás elvégzésére vonatkozik. E fizetési kötelezettség nem forgalomképes (azaz nem eladható), és ennek teljesítésével másnak — jog szerint — tartozik a gazdálkodó.
22 19
6. A gazdálkodás eszközének, röviden: eszköznek nevezzük a vagyon bármely tárgyát, ha osztályba sorolásakor tulajdonságai közül csak a fajtáját ill. gazdálkodásbeli rendeltetését vesszük tekintetbe, míg más tulajdonságától elvonatkoztatunk. Ezt az osztályozásnál figyelembevett tulajdonságot eszközaspektusnak nevezzük. Eszközök (eszközfajták) alatt azokat a természetes statikus vagy dinamikus attribútum vagyonosztályokat értjük, melyeknek minden eleme egy eszközaspektusnak megfelelı vagyontárgy, illetve az ilyen vagyontárgyak dinamikus vagyonosztályba való be- és/vagy onnan való kikerülése miatt létrejött vagyonváltozás. 7. Eszköz jellegő vagyonosztályozás alatt mindazokat a vagyonosztályozásokat értjük, amelyekben legalább eszközaspektus szerint osztályozunk. 8. Forrásnak, a vagyon forrásának vagy más elnevezéssel: az eszközökben testet öltı, a gazdálkodáshoz szükséges és annak révén gyarapodó vagy fogyó tıkének nevezzük a vagyon bármely tárgyát, ha osztályba sorolásakor azt a tulajdonságát vesszük csak figyelembe, hogy az a gazdálkodó saját tulajdona (saját vagyon) avagy másnak tartozik azzal (idegen vagyon), míg más tulajdonságától elvonatkoztatunk. Ezt az osztályozásnál figyelembevett tulajdonságot forrás- vagy tıkeaspektusnak nevezzük. Források vagy tıkék (forrás- vagy tıkefajták) alatt azokat a természetes statikus vagy dinamikus attribútum vagyonosztályokat értjük, melyeknek minden eleme egy forrás- vagy tıkeaspektusnak megfelelı vagyontárgy, illetve az ilyen vagyontárgyak dinamikus vagyonosztályba való be- és/vagy onnan való kikerülése miatt létrejött vagyonváltozás. 9. Forrásjellegő vagyonosztályozás alatt mindazokat a vagyonosztályozásokat értjük, amelyekben legalább forrásaspektus szerint osztályozunk. 10. Idıaspektusú vagyonosztályozásnak (röviden: idıosztályozásnak) nevezem az olyan természetes dinamikus attribútum vagyonosztályozást, amely az (r;t] intervallum t idıpontjában (0≤r
Gazdálkodás a gazdálkodó ama tevékenysége, hogy a vagyonát valamely cél elérése érdekében gyarapítja, illetve fel- vagy elhasználja, avagy egyszerően csak magára hagyja. Az utóbbi nyilván a lehetı legrosszabb válfaja a gazdálkodásnak.
23 abból való kikerülésük idıpontja mindkettınek ugyanabban az idıosztályban van. 11. Adósságjellegő vagyonosztályozás alatt a forrásjellegő vagyonosztályozásnak azt a részét értjük, amelyben az adósságalosztályba tartozó vagyontárgyakat, azaz az idegen vagyon tárgyait másodlagosan nem idıaspektus, hanem más aspektus szerint osztályozunk. 12. Alaptıkének vagy jegyzett tıkének (összefoglalóan kezdıtıkének) nevezzük a sajátvagyon azon végsı természetes osztályának részösszegét, amely azt mutatja, hogy a gazdálkodó, a gazdálkodást mekkora bruttóvagyonnal kezdte. A módosításakor azt mutatja, hogy mennyi további vagyont kellet tıkeemelésként pótlólag és végleg befektetni, vagy mennyi vagyont lehetett nélkülözni és így tıkeleszállításként végleg kivonni a gazdálkodásból. 13. Tıketartaléknak nevezzük a sajátvagyon azon végsı természetes osztályának részösszegét, mely azt mutatja, hogy a gazdaság tulajdonosa(i) vagy más(ok), mikor és mekkora további vagyont vont(ak) be véglegesen a gazdálkodásba, vagy vontak ki onnan — nem számítva a kezdıtıkét. 14. A t. idıpontban (t=1,2,...) létezı halmozott hozam (érelért ték) alatt a gazdálkodás (0;t] idıszakában sajátvagyonnövekmény értendı — nem értve ide a kezdıtıke és/vagy a tıketartalék növekményét. E sajátvagyon növekmény testet ölthet bármely pénzbevétel, kapott áru és/vagy szolgáltatás (barterügyletként20 is), vagy elismert követelés, továbbá a vagyon természetes szaporulata illetve adósságelengedés formájában. Ez a sajátvagyonnövekmény azonos a sajátvagyon nevő statikus relatív alaposztály halmozott hozam nevő végsı természetes osztályának részösszegével — a t. idıpontban. 15. Folyóidıszaki hozam alatt a tárgyidıszak és az elızı idıszak halmozott hozamának különbségét értjük. 16. A t. idıpontban (t=1,2,...) fennálló halmozott ráfordítás (másképp: költség) alatt a gazdálkodás (0;t] idıszakában bekövetkezett sajátvagyoncsökkenés értendı — nem értve ide a kezdıtıke és/vagy a tıketartalékok csökkenését. E sajátvagyoncsökkenés — azon belül a veszteség21 növekedése — testet ölthet bármely eszközfelhasználás, végleges pénzkiadás,22 adott áru, teljesített szolgáltatás, keletkezett kötelezettség, valamint a vagyon természetes fogyása illetve követelés elengedése formájában. Ez a sajátvagyoncsökkenés azonos a sajátvagyon nevő relatív 20
Áruval vagy szolgáltatással ellentételezett kereskedelmi ügylet. A veszteség (a gazdálkodás vesztesége) e vagyonkönyvvitelben alapfogalom, és a nem tıkebetét vagy tıketartalék jellegő sajátvagyonrész csökkenésének, azaz kifejezetten a gazdálkodás miatti "sajátvagyonvesztés" szinonimája. 22 Nem minden kiadás költség is egyben. Pl. ha készpénzen, raktárra anyagot veszünk, vagy készpénzt veszünk ki a pénztárból, és azt a bankszámlára befizetjük, stb. Ezek mindössze a vagyon forma- illetve struktúraváltozását jelentik, ámde nem okoznak veszteséget — következésképp nem költségek ( nem ráfordítások). Viszont elıbb vagy utóbb minden költség kiadást jelent. 21
24 alaposztály ráfordítás (költség) nevő végsı természetes osztályának részösszegével — a t. idıpontban. 17. Folyóidıszaki ráfordítás (költség) alatt a tárgyidıszak és az elızı idıszak halmozott ráfordításának (költségének) különbségét értjük. 18. A halmozott bruttó, vagy másképp halmozott adózatlan eredmény (röviden: halmozott eredmény) alatt a halmozott hozam és a halmozott ráfordítás (költség) algebrai összegét értjük. 19. A folyóidıszaki (éves, negyedéves, havi, stb.) bruttó, vagy másképp folyóidıszaki adózatlan eredmény (röviden: folyóidıszaki eredmény) alatt a folyóidıszaki hozam és a folyóidıszaki ráfordítás (költség) algebrai összegét értjük. 20. Ha a halmozott vagy a folyóidıszaki bruttó eredmény kisebb, mint nulla, akkor halmozott illetve folyóidıszaki veszteségnek, ha nagyobb, akkor halmozott illetve folyóidıszaki nyereségnek nevezzük. 21. Vagyonmérlegnek nevezzük azt a mérleget, amely két vagy több különbözı, de legalább statikus eszköz- és forrás vagy dinamikus idı- valamint statikus eszköz- és forrás vagy idı-eszköz- és idı-forrás aspektusú vagyonosztályozást tartalmaz. 22. Klasszikus vagyonmérlegnek23 nevezzük a vagyon statikus, csak eszköz- és forrás vagyonosztályozású, pénzértékben kifejezett rész- és fıösszegő mérlegét. 23. A gazdálkodó anyagi helyzete alatt bruttó- és nettó vagyona, valamint adóssága/idegen vagyona adott idıpontbeli nagyságát, továbbá osztályai és részösszegei szerinti szerkezetét értjük. 24. Kielégítıen informatívnak nevezem a vagyonosztályozási rendszert, ha az a gazdálkodó adott idıpontbeli anyagi helyzetét és legalább bruttóvagyonának ezen idıpontig tartó idıbeli változásait idıaspektusú vagyonosztályozása révén mutatja. 25. Gazdálkodóra jellemzı vagy másképp: gazdálkodóspecifikus gazdasági események24 alatt adott gazdálkodó vagy gazdál-
23
Ld. példaként a 4. függeléket. E definícióval kapcsolatban lássunk néhány példát. Gazdálkodásra jellemzı gazdasági eseménytípus például egy külkereskedı (cég) esetében az exportértékesítés és az importbeszerzés, szemben pl. egy belkereskedelmi céggel, ahol az elıbbi gazdasági események jellemzıen nem fordulnak elı — minthogy más a gazdálkodási profiljuk. Vagy például: építıipari szolgáltatás értékesítése egy építıvállalkozás tipikus gazdasági eseménye, ám egy fodrászat esetében nem jellemzı — mert más a gazdálkodási profil. A gazdasági környezet hatása mutatkozik meg a különféle árfolyamnyereségek és veszteségek keletkezésének gazdasági eseményeiben, amelyek nyilvánvalóan nem minden gazdálkodóra jellemzıek. Viszont a játékadó fizetése gépenként egy játék-automatákat üzemeltetı vállalkozó esetében a társadalmi környezete (azaz a törvényhozás által megszabott jogszabályok) hatására bekövetkezı jellemzı gazdasági eseménytípus, míg ez az eseménytípus nem jellemzı játék-automatákat nem üzemeltetı vállalkozók, pl. a külkereskedı vagy az építı cég és a fodrászat esetében. A természeti környezet hatását mutató jellemzı gazdasági eseménytípus a pl. a növényeket ért fagyáskárok miatti költségelszámolás egy növénytermesztéssel foglalkozó mezıgazda24
25 kodótípus gazdasági tevékenysége (gazdálkodása), valamint gazdasági és/vagy társadalmi-természeti környezete hatására gazdaságában bekövetkezett gazdasági eseménytípusok összességét értem. 26. Zártnak nevezem a gazdálkodóspecifikus gazdasági eseményekre nézve a gazdálkodó vagyonosztályozási rendszerét akkor és csak akkor, ha a gazdálkodóspecifikus gazdasági események bármelyikének bekövetkezésekor vannak a vagyonosztályozási rendszerben az esemény jellegének megfelelı olyan részösszegek, amelyek az esemény elıtti állapotukhoz képest, az esemény tartalmának megfelelıen, megváltoznak. 27. Egy vagyonosztályozási rendszert komplettnek nevezek, ha az kielégítıen informatív és zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. 28. N-aspektusú, avagy explicit N-szeres (N≥3) vagyonosztályozási rendszer alatt azt a vagyonosztályozási rendszert értem, amely meghatározott idıpontban adott bruttóvagyonnak legalább az egyszerő dinamikus (azaz idı-), valamint a statikus eszköz- és a statikus forrásaspektusú vagyonosztályozásait együtt tartalmazza. 29. Implicit idıaspektusú, vagy rövidebben implicit N-szeres (N≥2) vagyonosztályozási rendszer alatt azt a vagyonosztályozási rendszert értem, amely egy meghatározott idıpontban adott bruttóvagyonnak legalább az idı—eszköz és az idı—forrás aspektusú komplex dinamikus vagyonosztályozásait együtt tartalmazza. 30. N "serpenyıs" vagy másképp: N-szeres (N≥2) vagyonmérlegnek nevezem a bruttóvagyon implicite N-szeres (N≥2) vagy explicite N-szeres (N≥3) vagyonosztályozási rendszerét. 31. (Valódi) dinamikus vagyonmérlegnek nevezem az implicite idıaspektusú, másképp implicite N-szeres (N≥2) vagyonosztályozású mérleget, míg az explicite N-szeres (N≥3) vagyonosztályozású mérleg neve legyen dinamikus és statikus vagyonmérleg.
sági gazdálkodó esetében, míg ez az eseménytípus nem merülhet fel pl. egy banknál, vagy a már említett külkereskedı, illetve egy építı cég és egy fodrászat esetében.
26 1.12 Axiómák
25
1.121 A vagyon és más kronologikus halmazok axiómái
1. Ha valamely idıpontban egy eszközaspektusú statikus vagyonosztály nem üres, azaz: van benne egy vagy több vagyontárgy, akkor és csak akkor az osztály vagyontárgyak mennyiségét26 kifejezı fı- vagy részösszege nagyobb, mint nulla (A1). 27 P. : 1./T1. 2. Ha egy adott idıpontban valamely statikus osztály üres, akkor és csak akkor az osztály fı- vagy részösszege egyenlı nullával. (A2). P.: 1./T3,T4,T5,T7,T11,T12,T13,T14,T18,T19,T21,T23,T24,T29. 3. Bármely dolog pénzbeli értéke, azaz egységára, csak pozitív szám28 lehet (A3). P.: 1./T1. 4. Ha egy osztályozás páronként diszjunkt osztályain valamely mértékfüggvény29 (vagy annak pozitív együtthatós lineáris transzformáltja) értelmezett, akkor e függvény által a végsı osztályokhoz rendelt részösszegek összege egyenlı az alaposztályhoz rendelt fıösszeggel (A4). P.: 1./T1, T11, T16, T19, T28. 5. Legyen V a változások dinamikus osztálya, C a V-nek megfelelı csökkenések dinamikus osztálya és E ezek dinamikus különbség (vagy egyenleg) osztálya (V-C=E) a (0;t] idıintervallumban (t=1,2,..). Továbbá legyen E’ a V-beli változások eredményeként létrejött statikus osztály a t. idıpontban, melyre áll, hogy E’=E. Ekkor a (0;t] idıintervallumban a V változás-osztályban az események kapcsán történt változások (növekedések és/vagy csökkenések) különbsége (vagy: ha a csökkenések negatív elıjelőek, akkor algebrai összege), azaz a V-C=E fıösszege egyenlı a
25
Axióma: az adott tudományterületen belül külön bizonyítás nélkül igaznak elfogadott — a tételek bizonyításához premisszaként felhasznált — állítás, alaptétel. Megjegyezzük, hogy valamely tudományos tárgykörhöz többféle axiomatikus rendszer is felépíthetı. Ezért az axiómák körét másképp is kialakíthatnánk. Ekkor adódhat az is, hogy az itt felsorolt axiómák némelyike tételként bebizonyíthatóvá válik. Mi - alapos megfontolás után - ezt az állításhalmazt választottuk axiómáink összességének. 26 Ez ha pénzmennyiség, akkor nyilván pénzbeli érték egyben. 27 A "P.:" utáni felsorolás azt mutatja meg, hogy az állítás mely következı tételben van premisszaként felhasználva. 28 Természetesen van olyan eset, amikor valamely vagyontárgyra nincs kereslet, s ezért épp nem ér semmit, azaz nulla a piaci ára (a forgalmi értéke), jóllehet ekkor is van nullánál nagyobb hulladékértéke. Vagy elıfordulhat az is, hogy még nekünk kell fizetni, hogy megszabaduljunk tıle. Ekkor ez negatív árként is felfogható lenne, ámde ez a költség valójában nem a dolog ára, hanem az eltüntetésének a díja, ami ugyebár nem ugyanaz! Ezért ezektıl az esetektıl nyugodtan eltekinthetünk. 29 Vagyonmennyiséget vagy vagyonváltozás-egyenleget, ill. ezek pénzbeli értékét (vagy más pozitív együtthatós lineáris transzformáltját) kifejezı függvény
27 t. idıpontbeli E’ statikus osztályhoz tartozó összeggel — legyen az akár fı- akár részösszeg (A5).30 P.: 1./T11, T16, T27, T28. 6. Egy (abszolút vagy relatív) alaposztálynak nincs két azonos osztályozása (A6). P.: 1./ T1, T16, T17, T18. 7. Ha a gazdálkodó magára hagyja a vagyonát vagy annak bármely részét, akkor annak nagysága és pénzértéke, de legalábbis a pénzértéke (vagy más pozitív együtthatós lineáris transzformáltjának értéke) — a természeti és/vagy társadalmi és/vagy gazdasági környezet által kiváltott gazdasági események hatására — az idı múlásával monoton csökkenve tart a nullához (A7). P.: 1./T15, T17, T29. 1.122 Az adósság axiómái
8. Ha a gazdálkodónak valamely idıpontban van vagyona, akkor van — azonos mérték szerinti — azzal egyenlı vagy nem egyenlı nagyságú adóssága is; viszont ha nincs vagyona, akkor vagy adóssága sincs, vagy csak adóssága van — és más eset nem lehetséges (A8). P.: 1./T3, 3./T1, T3, T4. 9. Az adós gazdálkodónak van hitelezıje és adóssága, mellyel a hitelezıjének tartozik, hitelezıjének pedig van követelés formájában lévı vagyona, melyet adósától követelhet (A9). P.: 1./T2, 3./T1, T3, T4. 10. Az adós adott idıpontban létezı adóssága egyenlı hitelezıjének vagy hitelezıinek vele szemben ugyanakkor fennálló — az adós által elismert — összes követelésével (A10). P.: 1./T2. 11. Ha a gazdálkodó magára hagyja a vagyonát vagy annak bármely részét, akkor adósságának mértéke — a természeti és/vagy társadalmi és/vagy gazdasági környezet által kiváltott gazdasági események hatására — az idı múlásával monoton növekedve tart a plusz végtelenhez (A11). P.: 1./T15, T17. 1.123 Gazdasági és általános esemény-axiómák
12. Gazdasági esemény csak a gazdálkodó gazdasági tevékenységének vagy gazdasága természeti-, társadalmi- ill. gazdasági környezetének hatására következik be (A12). P.: 1./T15, T19. 30
Ez az axióma tétel is lehetne, mert az állítás a V és C vagyonváltozás-osztályok, valamint a statikusként is értelmezhetı E egyenlegosztály definíciója és a hozzájuk tartozó rész- illetve fıösszegek meghatározása alapján bizonyítható. Ámde didaktikai megfontolásokból e bizonyítást mellıztem.
28 13. Ha valamely esemény megtörtént, akkor ismert legalább: (1) annak megnevezése, akivel/amivel az esemény törtét (2) az esemény idıpontja, (3) az esemény neve vagy leírása, melybıl a az érintett osztályozási rendszerben megváltozó részösszegő végsı osztályokra lehet következtetni, (4) a változás mennyisége és/vagy pénz- vagy más értéke (vagy ezek más pozitív együtthatójú lineáris transzformáltjának értéke) (A13). Ezt az alaptételt (axiómát) az esemény-attribútumok törvényének fogom nevezni. P.: 1./T15, T19, T28. 14. Az eseményeknek a megváltozó részösszegekhez — idıosztályokon kívül — tartozó végsı osztályokat és a változásuk jellegét megjelölı adata (azaz az esemény „megnevezése” vagy leírása) és az esemény koordinátái, jelentésüket tekintve ekvivalensek és kölcsönösen egyértelmően megfelelnek egymásnak (A14). P.: 1./T19, 2./T7. 15. Valamely t. idıpontban (t=1,2,...) bekövetkezett gazdasági esemény kapcsán az érintett vagyonosztályozás [a] egyetlen végsı vagyonosztályának részösszege nı, vagy [b] csökken egy ∆X>0 összeggel (a csökkenésre — jelölje c — áll: c=-∆X<0), vagy [c] egyik végsı vagyonosztályának részösszege egy ∆X>0 összeggel csökken, míg egy másiknak a részösszege ugyanezen ∆X>0 összeggel nı31 (a [c] esetben nevezzük az eseményt csak struktúraváltó vagy röviden kompenzatív gazdasági eseménynek). Más jellegő elemi vagyonváltozás, gazdasági esemény kapcsán, nem lehetséges (A15). P.: 1./T9, T19. 3./T6. 16. A gazdasági események között vannak olyanok, amelyek nem érintik a gazdálkodó pénzeszközeit (A16). P.: 1./T17, T22.
1.2 A vagyonelmélet tételei és bizonyításuk32 Fontos sajátja az itt következı vagyonelméleti tételek bizonyításának az, hogy ezekben — noha a könyvvitel vagyonelméletérıl van szó — nem hivatkozom semmiféle könyvviteli szabályra. Ez ugyanis alapvetı stratégiai célom a könyvvitel vagyonelméletének felépítésekor, mert csak így lehet meggyızıen kimutatni, hogy az anyagi helyzetet meghatározó fı tényezık, a vagyon és az adósság, illetve ezek idıben végbemenı mennyiségi változásának jellege határozza meg a könyvvitel jellegét és nem fordítva, valamint azt, hogy a vagyon- és könyvvitelelmélet nem más, mint sajátos tárgyú matematika. 31
Értelemszerően csak ebben a sorrendben: elıbb egyik csökken, majd a másik ugyanannyival nı A bizonyításokhoz az igaznak elfogadott axiómákból (és a már igazolt tételekbıl) indulunk ki, és levezetjük (igazoljuk) a megengedett logikai következtetések valamint a matematikában közismert levezetési szabályok és azonosságok használatával adódó tételeket.
32
29 Sajátossága még e bizonyításoknak az is, hogy a vagyonosztályozások és a vagyonosztályokon értelmezhetı függvények (a vagyon mennyisége, pénzértéke, ezek változása, stb.) egzisztenciájának biztosítása mellett, az elméletrendszer felépítésénél, a tételek megfogalmazásánál és bizonyításuk — néha aprólékos — módjánál a tudományos szabatosság iránti igénnyel egyenrangúak voltak a didaktikai megfontolások is. Ilyen didaktikai szempontok nélkül több tétel bizonyítása nyilvánvalóan lényegesen rövidebb és egyszerőbb lehetne.
Attribútum-osztályozások és az osztályaik tulajdonsága 1. Tétel: A t. idıpontban (t=1,2,...) létezı bruttóvagyon, illetve annak bármely eszközaspektusú statikus vagyonosztályában lévı része mennyiségét és pénzértékét (vagy más jellemzıje mértékét) csak pozitív számmal33 fejezhetjük ki (formulával: V>0, avagy másn
képp jelölve: VBR=
∑ Ji>0, ahol Ji>0 a különbözı fajta javak egy eszközaspektusú, statii =1
kus, nem üres végsı osztályának részösszege, minden i-re - a t idıpontban) (T1).
A feltétel alapján a gazdálkodónak a leltár és/vagy a könyvek szerint a t-ik idıpontban (t=1,2,...) van vagyona34. E vagyontárgyak legyenek maradéktalanul besorolva eszközaspektus (avagy vagyonfajta) szerint az A6 axiómának megfelelıen i különbözı (i=1,2,..,n) statikus végsı vagyonosztályba. Jelölje e bruttóvagyont alkotó javak osztatlan és nem üres halmazát (azaz az osztályozandó abszolút alaphalmazt) O, s az egyes vagyontárgyak fajtáinak — szintén nem üres — diszjunkt végsı eszközosztályait O1,O2,…Oi,…On. Most rendeljük az egyes végsı vagyonosztályokhoz különkülön, a t-ik idıpontban a vagyonosztályokba sorolt vagyontárgyak qi mennyiségét és éi pénzértékét, mint e vagyonosztályozás osztályain értelmezett függvények értékét. Jelölje tehát a vagyontárgyak mennyiségét Oi függvényeként, vagyonfajtánként (azaz végsı vagyonosztályonként) qi(Oi). E mennyiségek teljes összegét, a természetes mértékegységeiktıl35 és a t idıponttól elvonatkoztatva, jelölje: n
q1(O1)+q2(O2)+…+qi(Oi)+…+qn(On)= ∑ qi(Oi), míg az osztályozás i =1
q mennyiség szerinti fıösszegét O függvényeként VBR (O). A vagyonfajták azonos pénznemben beárazott mennyiségeinek értékét jelölje éi(Oi), s ezek összegét
33
Itt és a következıkben számokon, ha az nem index, mindig a racionális számok halmazába tartozó számot értünk. 34 A következıkben, ha ez nem félrevezetı, vagyon alatt mindig bruttóvagyont értek - a rövidség kedvéért. 35 Itt az ’i’-nek azaz ’individuum’-nak nevezett közös mértékegységben kifejezve egyedi mértékegységeikkel meghatározott mértéküket használjuk.
30 n
é1(O1)+é2(O2)+…+éi(Oi)+…+én(On)= ∑ éi(Oi),
az
érték
szerinti
i =1
é (O). fıösszeget pedig VBR Jelölje még a javak egyes fajtáinak (átlagos) egységárát p1(O1),p2(O2),…,pi(Oi),…,pn(On).
Azt kell tehát megmutatnunk, hogy (1) (2)
qi(Oi)>0 (i=1,2,…,n), valamint, hogy n q VBR (O)=q1(O1)+…+qi(Oi)+…+qn(On)= ∑ qi(Oi)>0, továbbá i =1
(3) (4)
qi(Oi)·pi(Oi)=éi(Oi)>0 és, hogy n
n
i =1
i =1
é (O)=é (O )+…+é (O )+…+é (O )= q (O )·p (O )= é (O )>0. VBR 1 1 i i n n ∑ i i i i ∑ i i
Mármost, az A1 axióma szerint a nem üres eszközaspektusú i. végsı vagyonosztályban (i=1,2,…,n) a t. idıpontban létezı vagyontárgyak mennyiségét kifejezı qi(Oi) részösszeg csak pozitív szám lehet. De az i. osztályhoz tartozó pi(Oi) egységár szintén csak pozitív szám lehet (A3 axióma). Viszont ekkor a qi(Oi)·pi(Oi)=éi(Oi) (i=1,2,…,n) szorzat is csak pozitív szám lehet, mert pozitív számok szorzata pozitív. Mindebbıl következik, hogy 36 qi(Oi),pi(Oi),qi(Oi)·pi(Oi)=éi(Oi)>0 (i=1,2,…,n), valamint n
mert a pozitív számok összege pozitív,
∑ qi(Oi)>0
ezért
és
i =1
n
∑ éi(Oi)>0. i =1
Továbbá az A4 axióma szerint: „Ha egy vagyonosztályozás páronként diszjunkt osztályain valamely mértékfüggvény37 (vagy annak pozitív együtthatós lineáris transzformáltja) értelmezett, akkor e függvény által a végsı osztályokhoz rendelt részösszegek összege egyenlı az alaposztályhoz rendelt fıöszszeggel.” Ekkor igaz a következı két összefüggés: n q VBR (O)=q1(O1)+…+qi(Oi)+…+qn(On)= ∑ qi(Oi), i =1
valamint n
n
i =1
i =1
é (O)=é (O )+…+é (O )+…+é (O )= q (O )·p (O )= é (O ). VBR 1 1 i i n n ∑ i i i i ∑ i i
36
Állapodjunk meg abban: ha egy reláció valamelyik oldalán vesszıvel elválasztva két vagy több változó jele szerepel, akkor a másik oldalon lévı érték vagy kifejezés mindegyik változóra egyenként érvényes. 37 Vagyonmennyiséget vagy vagyonváltozás-egyenleget, ill. ezek pénzbeli értékét (vagy más lineáris transzformáltját) kifejezı pozitív együtthatós lineáris függvény
31 n
q Ugyanakkor mert VBR (O)= ∑ qi(Oi) és i =1
n
é (O)= é (O ) és mint mert VBR ∑ i i i =1
n
∑ qi(Oi)>0
igaz, vala-
i =1
n
∑ éi(Oi)>0
is igaz, ebbıl követ-
i =1
q é (O)>0 is igaz. kezik, hogy VBR (O)>0 és VBR De ugyanerre jutunk, ha a qi(Oi)>0, illetve az éi(Oi)>0 pozitív számokat (i=1,2,…,n) összegezzük, mert pozitív számok összege pozitív, ezért: n q VBR (O)=q1(O1)+…+qi(Oi)+…+qn(On)= ∑ qi(Oi)>0 és i =1 n
n
i =1
i =1
é (O)=é (O )+…+é (O )+…+é (O )= q (O )·p (O )= é (O )>0, VBR 1 1 i i n n ∑ i i i i ∑ i i
és így q é (O)>0. VBR (O)>0 és VBR Mindebbıl pedig az (1), (2), (3) és (4) összefüggés, s általuk a tétel igaz volta adódik. Q.e.d. P.38: 1./T2, T3, T4, T5, T6, T7, T8, T9, T11, T12, T14, T15, T16, T18, T19, T21, T22, T23, T24, T29, 3./T1 39 K. : 1./A1, A3, A4, A6. 2. Tétel: Ha a t. idıpontban (t=1,2,....) a gazdálkodónak van adóssága (idegen vagyona), akkor annak a bruttóvagyon forrásaspektusú statikus relatív alaposztályában, az idegenvagyon osztályban, illetve annak bármely alosztályában lévı mennyiségét és pénzértékét (vagy más jellemzıje mértékét) csak pozitív számmal fejezhetjük ki (A=A1+A2+…+Aj+…+AN>0, ahol Aj>0, a különbözı fajta adósságok egy végsı statikus osztályának részösszege, minden j-re) (T2).
Legyen G0 az a gazdálkodó, akinek a feltététel szerint — pl. a leltár alapján — a t. idıpontban (t=1,2,..) van adóssága. Jelölje adóssága mértékét (azaz a statikus adósságosztály fıösszegét) — jelölésben elvonatkoztatva most is a t. idıponttól — A0. Mutassuk meg, hogy A0>0. Minthogy a G0 gazdálkodónak van adóssága, ezért szükségképpen van neki hitelezıje A9 szerint. Legyen ez a hitelezı, pl. most egyedül a G1 gazdálkodó, akinek tartozik A0-al G0. Mivel G1 hitelezıje G0-nak, ezért G1-nek (azonos dimenzióban40 számszerősítve) az A0 adóssággal megegyezı mértékő (K1=A0) elismert K1 követelése kell legyen G0-al szemben. Az A10 szerint ugyanis az adós adóssága egyenlı hitelezıjének (vagy hitele38
P.: utáni felsorolás azt mutatja meg, hogy a tétel mely következı tételben lett premisszaként felhasználva. K.: utáni felsorolás azt mutatja meg, hogy a tételnek, mint konklúziónak, mik voltak a hivatkozott premiszszái. (Azaz K jelöli a „következik: ebbıl és ebbıl” kifejezést) 40 mértékegységben 39
32 zıinek) vele szemben fennálló összes, elismert követelésével. Tehát G1 bruttóvagyonának (V1) egy része, vagy egésze a G0-al szembeni követelés (K1) formájában ölt testet (A10), azaz fennáll: K1≤V1 (ld. T2 ábra).
Ámde a T1 tételbıl tudjuk, hogy a t. idıpontban létezı bruttóvagyon és az eszközaspektusú statikus vagyonosztályaiba tartozó részeinek mennyisége, illetve pénzértéke csak pozitív számmal fejezhetı ki, következésképpen G1 bruttóvagyona V1>0, és ez vonatkozik e vagyon bármely eszközaspektusú nem üres vagyonosztálya részösszegére, így a követelésére is. Azaz: K1>0 is igaz. Mivel K1>0 és K1=A0, ezért ebbıl közvetlenül folyik A0>0 volta. Azonos gondolatmenet alapján megmutatható, hogy a pozitivitás fennáll az A0 adósság minden nem üres végsı osztályába tartozó adósságfajták41 részösszegeire is, azaz: A0,1+..+A0,j+..+A0,N=A0>0, ahol A0,j>0 egy a végsı és nem üres statikus adósságosztály részösszegei közül. 42 Q.e.d. P.: 1./T3, T4, T5, T11, T12, T13, T14, T15, T21, T29. K.: 1./A9, A10, T1. 3. Tétel. Lemma43: A gazdálkodó vagyonának nagyságát jelölje V, adósságának elıbbivel azonos mértékegységben kifejezett nagyságát jelölje A. Ekkor a V-A különbség a t. idıpontban (t=1,2,....) lehet nagyobb vagy kisebb, mint nulla, vagy egyenlı nullával, azaz: VA 0 (T3).
A t. idıpontban (t=1,2,...) a gazdálkodó bruttó vagyonának nagyságát (azaz: eszközaspektusú statikus vagyonosztályozásának fıösszegét) jelölje a V változó (V≥0 T1 és A2 szerint). Ugyancsak a t. idıpontban, a gazdálkodó V-vel azonos dimenzi-
41
Pl.: lehetı adósságfajták: hátrasorolt, valamint hosszú- és rövid lejáratú adósságok (kötelezettségek). Az 1 és 2 tétel bizonyítása feleslegesnek tőnhet. Ámde egyik fontos funkciójuk az, hogy mintegy ökölszabályként kimutassuk: a vagyont és az adósságot nem szabad negatív számként felfogni, mert az éppúgy önellentmondás, mint pl. a negatív súly, a negatív ló, avagy a puha gyémánt. Sajnos a könyvviteltan történetébıl ismert, hogy voltak, akik pl. az adósságot negatív elıjelő vagyonként fogták fel. E tényt jelzi és örökíti meg, többek közt az adósságra is máig alkalmazott passzíva vagy passzív vagyon elnevezés, holott az adósság az adósnak fizetési kötelezettsége és nem vagyona - s fıleg nem negatív vagyona. 43 Lemma= segédtétel 42
33 óban44 számszerősített adósságának nagyságát (azaz: az adósság statikus relatív alaposztálya fıösszegét) jelölje az A változó (A≥0 T2 és A2 szerint) — a jelölésben elvonatkoztatva t-tıl. E jelölésekkel a tételt felírva, azt kell megmutatni, hogy a t. idıpontban: V-A 0. A V≥0 és az A≥0 számokkal kifejezett vagyon illetve adósság nagyságára A8 szerint igaz, hogy vagy V>A vagy V=A vagy V
Legyen VNE=VS a gazdálkodó nettó (vagy saját) vagyonának, V (V≥0; T1,A2) a bruttóvagyonának, A pedig (A≥0; T2,A2) az adósságának nagyságát a t. idıpontban (t=1,2,...) azonos mértékegységben kifejezı változó. Azt kell megmutatnunk, hogy a t. idıpontban VNE=VS 0 — mellızve az idıpont jelölését. Mármost T3 szerint V-A 0. Mivel a vonatkozó definíció szerint a V-A különbséget nettó vagyonnak nevezzük, itt pedig VNE-val jelöljük, ezért VNE=V-A. De V-A 0 ezért igaz, hogy VNE=VS 0. Q.e.d. Megjegyzés: Ha valamely t. idıpontban VNE=VS=0, akkor a hozzá tartozó OS sajátvagyon osztály üres (A2 szerint) és nyilván VBR=VI. Viszont ha VS>0, akkor van(nak) OS–nek eleme(i) a t. idıpontban, ez(ek) a vagyon forrásaspektus szerint osztályozott eme részében lévı vagyontárgy(ak). Ha pedig a t. idıpontban VS<0, akkor OS eleme(i) a VBR nagyságú bruttóvagyonból a t. idıpontban hiányzó azon vagyontárgy(ak) – e hiányzó rész nagyságát jelölje ∆VBR -, melyek a VI nagyságú adósság megfizetéséhez még kellenek a VBR vagyonmennyiségen felül. Azaz: ha ∆VBR=-VS, akkor nyilván VBR+∆VBR=VI. Éppen e vagyonhiányt érzékelteti ekkor a VS<0, a vonatkozó definíció szerint. P.: 1./T5. K.: 1./A2, T1, T2, T3
44
Mértékegységben
34 5. Tétel: A t. idıpontban (t=1,2,....) a nem negatív bruttóvagyon forrásaspektusú felosztásával keletkezı két statikus alosztály közül a saját vagyonosztály fıösszege bármilyen elıjelő szám lehet (VS 0) a bruttóvagyon és az idegenvagyon nagysága függvényében, az idegen vagyonosztály fıösszege pedig csak nem-negatív szám (VI≥0) lehet, miközben VS+VI≥0 (T5).
Bármely t. idıpontban (t=1,2,..) a bruttóvagyon nagyságát kifejezı VBR és az adósság (másképp: az idegen vagyon) nagyságát kifejezı VI változó értéke nem-negatív (T1, T2, A2 szerint). Ha a VBR bruttóvagyonból kivonjuk a VI adósságot, akkor a VNE=VS nagyságú nettó- illetve saját vagyont kapjuk (T4 szerint) — szintén a t. idıpontban. Azaz írhatjuk: (1) VBR-VI=VS, majd ezt átrendezve, hogy: (2) VBR=VS+VI. Elıször azt kell megmutatni, hogy VS+VI≥0 bármely t. idıpontban. Minthogy VBR≥0 bármely t. idıpontban (T1 és A2 szerint), ezért írható, hogy (3) VBR=VS+VI≥0 — bármely t. idıpontban. Ez után azt kell megmutatni, hogy VS 0 és VI≥0 miközben a feltétel és (3) szerint VBR=VS+VI≥0 (bármely t. idıpontban). Mivel VS=VNE 0 és (1) szerint VBR-VI=VS, ezért írhatjuk azt, hogy (4) VBR-VI=VS 0, azaz (5) VBR-VI 0, vagyis: (6) VBR VI, miközben VBR≥0 és VI≥0 igaz (bármely t. idıpontban). Az A8 axiómából pedig tudjuk, hogy vagy (a) VBR>VI vagy (b) VBR=VI vagy (c) VBR
35
6. Tétel: A t. idıpontban (t=1,2,…) a nettó vagyon induló, ill. jegyzett tıke nevő forrásaspektusú statikus végsı osztályába tartozó tıke összege (T) csak pozitív szám lehet. (T>0) (T6).
Jelölje a nettó vagyon kezdıtıke osztályának részösszegét T. Azt kell megmutatnunk, hogy T>0. A kezdıtıke összege a definíció szerint azt mutatja, hogy a gazdálkodás kezdı idıpontjában, illetve e tıkefajta módosításakor mekkora a gazdálkodó végleg – pénzben vagy bármely más vagyontárgy formájában45 — gazdaságába befektetett vagyona. A gazdálkodó fektessen be hát gazdaságába pl. pénzt és egy ingatlant a gazdálkodása kezdetén, mint a kezdı vagyon tárgyait. Jelölje ennek az eszközaspektus szerinti kezdı vagyonnak a teljes nagyságát V. Ugyanakkor a kezdıtıke definíciója szerint fennáll: T=V (T és V mértékegysége azonos). De a T1 értelmében V>0, így T=V>0, s ezért T>0. A módosított kezdıtıke értékét jelölje T’. Tıkeemelés esetén a bevitt többletvagyon nagysága: ∆V>0 (T1). A tıketöbbletet jelölje ∆T. A kezdıtıke definíciója szerint ∆T=∆V, viszont ∆T=∆V>0 (T1 értelmében), ezért ∆T>0. (∆T és ∆V mértékegységeik azonosak). Az emelt kezdıtıke értéke T’=T+∆T. De T>0 és ∆T>0, tehát T’>0. Tıkeleszállításnál legyen T’=T-∆T, ahol ∆T a T-nél kisebb, de nullánál nagyobb (0<∆V=∆T
7. Tétel: A t. idıpontban (t=1,2,....) a nettó vagyon tıketartalék nevő statikus osztályához tartozó részösszeg (TR) csak nulla vagy nullánál nagyobb szám lehet. (TR≥0) (T7).
A tıketartalék összegét jelölje TR. Azt kell megmutatnunk, hogy TR≥0. Ez a tıkeösszeg a definíció szerint azt mutatja meg, hogy a gazdaság tulajdonosa(i) vagy mások, mikor és mekkora további vagyont vont(ak) be véglegesen a gazdálkodásba, vagy vontak ki végleg a gazdálkodásból — az alaptıkén felül. Legyen a tartalékba helyezett vagyontárgy pénz és/vagy más dolog. Jelölje ezt a t. idıpontban (t=1,2,...) tartalék címén bevont eszközaspektusú bruttóvagyonrész mértékét VR. A defi45
Apportként..
36 níció szerint tehát TR=VR (TR és VR egynemőek). De a T1 tétel szerint VR>0, ha van bevont vagyon. Ekkor tehát írható: TR=VR>0, ezért fennáll: TR>0. Viszont, ha még nincs — vagy már nincs — bevont, tartaléknak szánt vagyon, azaz az osztály üres, akkor TR=VR=0 (A2). Q.e.d. P.: 1./T7/C, T11, T12, T14. K.: 1./A2, T1. Corollárium: E tételbıl nyilvánvaló, hogy a TR>0 tıketartalékot tartalmazó forrás aspektusú statikus vagyonosztály közbülsı és végsı osztályainak fı- illetve részösszegei is pozitív számok. Képlettel: TR=TR1+TR2+…=(TR11+ …+TR1i+…)+(TR21+ …+TR2j+…)+…>0, ahol TR1i ,TR2j>0 a különbözı fajta tıketartalékok egy-egy végsı statikus osztályának részösszegei, minden i-re és j-re.
Q.e.d. P.: K.: 1./T7. 8. Tétel: A t. idıpontban (t=1,2,....) a nettó vagyon statikus halmozott eredményosztályának statikus halmozott hozamalosztályához tartozó részösszeget, mint a t. idıpontban létezı halmozott hozam mennyiségét és pénzértékét (vagy más jellemzıje mértékét) csak pozitív számmal fejezhetjük ki (H>0) (T8).
A gazdálkodó, a t-ik idıponttal bezárólag (t=1,2,...) érjen el H mértékő hozamot. Azt kell megmutatnunk, hogy ekkor H>0. A H (halmozott) hozam alatt — a definíció szerint — a gazdálkodás (0;t] idıszakában (t=1,2,...) elért sajátvagyonnövekmény értendı — nem értve ide a kezdıtıke és/vagy a tıketartalék növekményét. E sajátvagyon növekmény testet ölthet bármely pénzbevétel, kapott áru és/vagy szolgáltatás (barterügyletként is), vagy elismert követelés, továbbá a vagyon természetes szaporulata illetve adósságelengedés formájában. Ez a sajátvagyonnövekmény — a t. idıpontban — azonos a sajátvagyon nevő statikus relatív alaposztály halmozott hozam nevő végsı osztályának részösszegével. Öltsön tehát testet ez a sajátvagyontöbblet — egy gazdasági esemény kapcsán —, mondjuk azonnali készpénzbevétel formájában, s jelölje e pénz mennyiségét B. Ekkor a definíció alapján H=B (H és B egynemőek). De T1 alapján a vagyon és bármely részének mennyisége/értéke csak pozitív szám lehet. B, mint készpénztöbblet (készpénznövekmény), szintén az eszközaspektusból tekintett vagyon része, tehát B>0 (T1). Következésképpen írható, hogy B=H>0. Hasonlóképp lehet megmutatni, hogy, ha a hozam pl. követelésben (melyet csak esedékességkor egyenlítenek majd ki), vagy G0 adóssága elengedésével sajátvagyonává váló eszközökben, vagy — barterügylet eredményeként — áruban, avagy szolgáltatásban, stb. ölt testet, a tétel akkor is igaz. Q.e.d. P.: 1./T8/C, T11, T12, T14.
37 K.: 1./T1. Corollárium: E tételbıl nyilvánvaló, hogy a H>0 hozamot tartalmazó forrás aspektusú nem üres statikus vagyonosztály közbülsı és végsı osztályainak fı- illetve részösszegei is pozitív számok. Képlettel: H=H1+H2+…=(H11+ …+H1i+…)+(H21+ …+H2j+…)+…>0, ahol H1i ,H2j>0 a különbözı fajta hozamok egy-egy nem üres végsı statikus osztályának részösszegei.
Q.e.d. P.: K.: 1./T8. 9. Tétel: A t. idıpontban (t=1,2,....) a nettó vagyon statikus eredményosztályának statikus ráfordítás (költség) nevő alosztályához tartozó részösszeget, mint a t. idıpontban létezı ráfordítás (költség) mennyiségét és pénzértékét (vagy más jellemzıje mértékét) csak negatív számmal fejezhetjük ki (R<0) (T9).
A gazdálkodó gazdaságában, a t-ik idıpontig bezárólag (t=1,2,...) bekövetkezett gazdasági esemény(ek) kapcsán, keletkezzen R számértékő ráfordítás (költség). Azt kell megmutatnunk, hogy a nem üres ráfordításosztályhoz tartozó R részösszeg kisebb, mint nulla (R<0). A t. idıpontban (t=1,2,...) létezı R számértékő ráfordítás (költség) alatt — definíciója szerint — a gazdálkodás (0;t] idıszakában bekövetkezett sajátvagyoncsökkenés értendı — nem értve ide a kezdıtıke és/vagy a tıketartalékok csökkenését. E sajátvagyoncsökkenés — azon belül a veszteség46 növekedése — testet ölthet bármely eszközfelhasználás, végleges pénzki47 adás, adott áru, teljesített szolgáltatás, keletkezett kötelezettség, valamint a vagyon természetes fogyása illetve követelés elengedése formájában. Ez a sajátvagyoncsökkenés azonos a sajátvagyon nevő relatív alaposztály ráfordítás (költség) nevő végsı osztályának részösszegével — a t. idıpontban. Most a sajátvagyoncsökkenés öltsön testet például valamely igénybevett szolgáltatás ellenértékének megfizetéseként jelentkezı azonnali készpénzkiadás formájában — mely az A15 axióma szerint csökkenti a létezı P' pénzkészletet. De P'>0 a T1 tétel alapján. Ámde, ha a ráfordítás valamely P'-nél nem nagyobb P>0 (T1) pénzadag kiadását jelenti, akkor P-t le kell vonni (el kell venni) P'-bıl. Következésképp e pénzkiadás mint negatív szám csökkenti a pozitív elıjelő P' pénzkészletet (az A15 axióma szerint). Ezért jelölje e kiadott készpénzmennyiséget -P, amely a ráfordítás említett definíciója szerint egyenlı R-el, azaz fennáll R=-P (R és P azonos mér46
A veszteség (a gazdálkodás vesztesége) e vagyonkönyvvitelben alapfogalom, és a nem tıkebetét vagy tıketartalék jellegő sajátvagyonrész csökkenésének, azaz kifejezetten a gazdálkodás miatti "sajátvagyonvesztés" szinonimája. 47 Nem minden kiadás költség is egyben. Pl. ha készpénzen, raktárra anyagot veszünk, vagy készpénzt veszünk ki a pénztárból, és azt a bankszámlára befizetjük, stb. Ezek mindössze a vagyon forma- illetve struktúraváltozását jelentik, ámde nem okoznak veszteséget — következésképp nem költségek ( nem ráfordítások). Viszont elıbb vagy utóbb minden költség kiadást jelent.
38 tékegységő). Viszont -P<0, következésképp: R=-P<0, azaz P=R<0. Hasonlóképp meg lehet mutatni: ha a ráfordítás (költség) más vagyontárgyban — pl. barterügylet eredményeként — átadott áruban vagy teljesített szolgáltatásban, avagy a gazdálkodó által elengedett, mással szembeni követelésben ölt testet, vagy késıbb esedékes adó- vagy bérfizetési kötelezettséget, stb. kiegyenlítı kiadásban, a tétel akkor is igaz. Q.e.d. P.: 1./T8/C, T10, T11, T12. K.: 1./A15, T1. Corollárium: E tételbıl nyilvánvaló, hogy a R<0 ráfordítást tartalmazó forrás aspektusú statikus nem üres vagyonosztály közbülsı és végsı osztályainak fı- illetve részösszegei is negatív számok. Képlettel: R=R1+R2+…=(R11+ …+R1i+…)+(R21+ …+R2j+…)+…<0, ahol R1i ,R2j<0 a különbözı fajta ráfordítások egy-egy végsı statikus nem üres osztályának részösszegei, minden i-re és j-re (T9/C).
Q.e.d. P.: K.: T9. 10. Tétel: Ha a t. idıpontban (t=1,2,....,) a halmozott ill. a folyóidıszaki hozam kisebb, mint a vele egynemő halmozott ill. folyóidıszaki ráfordítás abszolút értéke, akkor a t. idıpontban létezı halmozott ill. folyóidıszaki bruttó eredmény neve veszteség (E<0), ha nagyobb, akkor nyereség (E>0) - értelemszerően mindkettı halmozott ill. folyóidıszaki (T10).
Jelölje H a halmozott ill. a folyóidıszaki hozam mértékét, R a hozammal egynemő halmozott ill. folyóidıszaki ráfordításét, |R| az elıbbi abszolút értékét, E pedig a halmozott ill. folyóidıszaki eredmény, elıbbiekkel egynemően kifejezett számértékét a t-ik idıpontban (t=1,2,...). A továbbiakban az egyszerőség érdekében, akár halmozott, akár folyóidıszaki értékrıl van szó, csak hozamot, ráfordítást és eredményt említek, melyek mindig azonos idıszakra vonatkoznak — a halmozott vagy a folyóidıszaki jelzı nélkül — ez megtehetı. Azt kell tehát megmutatni, hogy a) ha H<|R| akkor az E eredmény neve veszteség, míg b) ha H>|R| akkor az E eredmény neve nyereség. Az a) eset feltétele szerint: H<|R|. De H-|R|<|R|-|R|, viszont |R|-|R|=0 és ezért H-|R|<0. Ugyanakkor T9 szerint R<0 és ezért |R|=-R. Így írhatjuk, hogy: H-|R|=H-(-R)=H+R<0. Mármost a halmozott és folyóidıszaki eredmény definíciója és a bevezetett jelölések értelmében H+R=E, ezért a H+R<0 bal oldalára E írható, s így: E<0. Ebbıl viszont az idıszaki veszteség definíciója alapján folyik, hogy az E<0 halmozott ill. folyóidıszaki eredmény neve halmozott ill. folyóidıszaki veszteség. A b) eset feltétele szerint H>|R|. De ekkor elegendı, ha az a) esetbeli levezetés minden lépésében és a végeredményében kisebbrıl nagyobbra váltjuk a reláció jelét. Így azonnal adódik: E>0. Ebbıl viszont az idıszaki nyereség definíciója
39 alapján közvetlenül folyik, hogy az E>0 halmozott ill. folyóidıszaki eredmény neve halmozott ill. folyóidıszaki nyereség.48 Q.e.d. P.: 1./T10/C. K.: 1./T9. Corollárium: E tételbıl nyilvánvaló, hogy a t. idıpontban (t=1,2,....,) a halmozott ill. a folyóidıszaki eredmény (E) bármely elıjelő szám lehet (E 0) (T10/C).
Q.e.d. P.: K.: 1./T10. 11. Tétel: A bruttóvagyon vagy valamely része eszköz vagy forrás aspektus szerinti statikus vagyonosztályához a t. idıpontban (t=1,2,...) tartozó fı- ill. részösszeg egyenlı e vagyont (illetve vagyonrészt) eredményezı (0;t] idıintervallumbeli vagyonváltozások idıosztályaihoz tartozó részösszegek összegével, amely csak nem negatív szám lehet, kivéve a sajátvagyon- és az eredményosztály részösszegét, mely bármilyen elıjelő szám, valamint a ráfordításosztály részösszegét, amely csak nem pozitív szám lehet (T11).
Jelöljön O egy eszköz vagy forrás aspektus szerinti statikus vagyonosztályt a t=M idıpontban (t,M=1,2,...). Jelölje V azt a vagyonváltozások-osztályt a (0;M] idıintervallumban, amely a (0;M] idıintervallumban bekövetkezett vagyonváltozások révén az M. idıpontban az O osztályban lévı vagyont (vagy vagyonhiányt) eredményezte. Ugyanakkor jelölje VM(O) az O statikus vagyonosztályához a M. idıpontban tartozó fı- ill. részösszeget, továbbá jelölje V(0,M](V) a V vagyonváltozások osztályának a VM(O) összeggel azonos mérték szerint kifejezett fıösszegét, I(t) pedig a V változásosztály valamely dinamikus idıosztálya részösszegét. M
E jelölésekkel felírva igaz: V(0,M](V)= ∑ I(t) (A4). Ekkor a t =1
tétel formulája a következı: M
VM(O)=V(0,M](V)= ∑ I(t)≥0 (t,M=1,2,...) kivéve a sajátvagyon, t =1
az eredmény és a ráfordítás esetét. Ezt kell megmutatni. Mármost fennáll (1/a) VM(O)≥0 T1,T2,T6,T7,T8 és A2 alapján, ha O nem a sajátvagyon, az eredmény vagy a ráfordítások osztálya, különben: (1/b) VM(O) 0 T5 és T10/C alapján, ha O a sajátvagyon vagy az eredmény osztálya, valamint (1/c) VM(O)≤0 T9 és A2 alapján, ha O a ráfordítás osztálya. 48
Ha az eredményosztály hozam és ráfordítás végsı osztályokra osztott, akkor a ráfordításosztályban - értelemszerően - negatív elıjellel győlnek a ráfordítások, következésképp R<0 lehet csak, és az eredmény ekkor a hozam és ráfordítás összevonásával határozható csak meg. Azaz ekkor és csakis ekkor E=H+R.
40
Ez a VM(O) összeg a (0;M] idıintervallumbeli azonos dimenziójú vagyonváltozások algebrai összegeként jött létre, tehát A5 szerint fennáll M
(2) VM(O)=V(0,M](V)= ∑ I(t) és (t,M=1,2,...). t =1
Viszont az egyenlık felcserélhetık és ezért az (1/a), (1/b), (1/c) egyenlıtlenségeket és azok baloldalát írhatjuk így is: M
(3/a) VM(O)=V(0,M](V)= ∑ I(t)≥0 (t,M=1,2,...), valamint a sat =1
játvagyon vagy az eredmény osztály esetén: M
(3/b)
VM(O)=V(0,M](V)= ∑ I(t) 0
(t,M=1,2,...),
továbbá
rá-
t =1
fordításosztálynál M
(3/c)
VM(O)=V(0,M](V)= ∑ I(t)≤0 (t,M=1,2,...), ahol (3/b) t =1
és (3/c) esetében T5, T9 és T10/C szerint csak a relációjelben van különbség. Q.e.d. P.: 1./T11/C1, T11/C2, T12, T14. K.: 1./A2, A4, A5, T1, T2, T5, T6, T7, T8, T9. Corollárium 1: E tételbıl nyilvánvaló, hogy bármilyen aspektusú statikus vagyonosztályozás valamely osztályának fı- ill. részösszege bármilyen elıjelő szám lehet, ha az elemei azonosak a sajátvagyon- vagy az eredményosztály elemeivel, ha pedig a ráfordításosztály elemeivel azonosak, akkor csak nem pozitív szám lehet. Ha viszont a statikus vagyonosztályozás eszközjellegő vagy forrásjellegő, de azon belül az idegenvagyon osztály (vagy annak bármely alosztálya) elemeivel azonosak a vagyonosztály elemei, akkor annak fı- ill. részösszege csak nem negatív szám lehet.
Q.e.d. P.: 1./T12. K.: 1./T11. Corollárium 2: E tételbıl nyilvánvaló, hogy ha a (0;M] idıintervallum Vt idıosztályaihoz (t=1,2,...,M) tartozó I(t,Vt) részösszegekbıl egyértelmően következik az M-ik idıponthoz tartozó OM statikus vagyonosztály V(t,OM) értéke, de V(t,OM) értékébıl nem következik egyértelmően az egyes I(t,Vt)-k értéke. Ám ez az összefüggés igaz V(t,OM)-ra és statikus alosztályainak részösszegeire is.
Q.e.d. P.: K.: 1./T11.
41 49
12. Tétel. Lemma : Ha a t=M idıpontban valamely statikus vagyonosztály fı- vagy részösszege nem negatív (avagy nem pozitív), akkor az osztályba tartozó vagyont (vagyonhiányt) eredményezı (0,M] idıintervallumbeli vagyonváltozások elsı t (t=1,2,..,M) idıosztályához tartozó részösszegek összege is az (T12.L.).
Legyen OS a feltétel szerinti statikus vagyonosztály, s a t=M idıpontban (M egész) legyen nem üres vagy üres. Jelölje Vt(OS)=VM(OS) az OS osztályhoz tartozó fı- vagy részösszeget a t=M idıpontban. Elıször (I.) legyen VM(OS)>0, ha OS a t=M idıpontban nem üres (T1, T2, T6, T7, T8, T11/C1) majd VM(OS)=0, ha OS akkor épp üres (A2). Ezt a két esetet egy relációjellel kifejezve: VM(OS)≥0. Másodszor (II.) vizsgálandó a tétel VM(OS)≤0 mellett (T9, T11/C1, A2). A feltétel szerint ugyanis ez a két helyzet állhat fenn. (I.) Az OS-t eredményezı a (0,M] idıintervallumbeli OV vagyonváltozások osztályát osszuk fel M darab idıosztályra. A t. idıosztály részösszegét jelölje I(t), ahol t=1,2,..,K,...,M (K is egész). Legyen továbbá VK(OV) az OV vagyonváltozás-osztály elsı K idıosztályához tartozó K darab K
részösszeg összege, képletben: VK(OV)= ∑ I(t), ahol 1≤K≤M. t =1
A jelöléseket felhasználva, azt állítom: K
(1) Ha VM(OS)≥0, akkor VK(OV)= ∑ I(t)≥0, ahol 1≤K≤M. t =1
K=M esetén a tételbeli állítás nyilván a feltétel és T11 M
szerint igaz, azaz: VM(OV)= ∑ I(t)≥0. t =1
Ezért a tételt még az 1≤K≤M-1 esetekre kell bizonyítani. Tehát azt állítom: K
(2) Ha VM(OS)≥0, akkor VK(OV)= ∑ I(t)≥0 és (1≤K≤M-1). t =1
Ha ugyanis (2) nem áll fenn, akkor K
(3) VM(OS)≥0 mellett VK(OV)= ∑ I(t)<0, ha 1≤K≤M-1. t =1
M
Ámde T11 szerint VM(OV)= ∑ I(t)≥0, ha t=1,2,...,K,...,M-1,M. t =1
Azaz, ha t=K, akkor igaz: K
(4) VK(OV)= ∑ I(t)≥0, ahol 1≤K≤M-1. t =1
Viszont így VK(OV)-ra két érték adódik: VK(OV)<0 (3) szerint és VK(OV)≥0 (4) szerint. Azaz: VK(OV) kisebb, mint nulla és VK(OV) nem kisebb, mint nulla — egyszerre. De ez nem lehetséges. Egy állítás és az ellenkezıje 49
Lemma= segédtétel.
42 egyszerre nem lehet igaz. Mivel a (4) szerinti állítás a bebizonyított T11 tételnek felel meg, így az az igaz, s csakis a (3) szerinti, a T11 tétellel ellentétes állítás a hamis. (II.) Könnyen belátható, hogy a tétel VM(OS)≤0 mellett (T9) ugyanígy igazolható, csak az egyenlıtlenségjelek irányát kell megfordítani. Q.e.d. P.: 1./T12/C, T14. K.: 1./A2, T1, T2, T6, T7, T8, T9, T11, T11/C1. Corollárium: E tételbıl nyilvánvaló, hogy ha valamely kumulált részösszegő vagyonosztályozás egyik részösszege nem negatív (vagy nem pozitív) akkor a többi részösszege is az (T12/C).
Q.e.d. P.: K.: 1./T12. 13. Tétel: Ha a t. idıpontban (t=1,2,..) valamely statikus vagyonosztály fı- illetve részösszege nem nulla, akkor a statikus vagyonosztály nem üres (T13). Jelölje V(O) a t. idıpontban (t=1,2,..) valamely statikus O vagyonosztály fı- illetve részösszegét. A feltétel szerint ekkor V(O)≠0. Állítom: ha V(O)≠0, akkor O nem üres — azaz: van benne legalább egy vagyontárgy. Ha ugyanis O üres, amikor V(O)≠0, akkor az ellentmond az A2 axiómának, mely szerint „ha a t. idıpontban (t=1,2,...) valamely statikus vagyonosztály üres, akkor és csak akkor e vagyonosztályhoz a t. idıpontban tartozó vagyon mennyiségét vagy pénzbeli értékét (vagy más lineáris transzformáltja mértékét) kifejezı rész- vagy fıöszszeg nulla.” Tehát O nem lehet üres, ha V(O)≠0. Q.e.d. P.: K.: 1./A2. 14. Tétel: A t=M idıpontban (t,M=1,2,…) létezı, nem negatív nagyságú bruttóvagyont, vagy annak valamely statikus osztályában lévı nem negatív nagyságú részét eredményezı (0;M] idıintervallumbeli vagyonváltozások osztályozás bármely I(t) részösszege, ha 1≤t≤M, lehet nagyobb, mint nulla, vagy egyenlı nullával. Míg ha 2≤t≤M, akkor bármely I(t) részösszeg lehet kisebb nullánál, feltéve, hogy abszolút értéke nem nagyobb, mint az elsı t-1 részösszeg összege (T14).
A t=M idıpontban (t,M=1,2,..) létezı vagy akkor már (vagy még) nem létezı bruttóvagyon vagy annak bármely statikus osztályában lévı része nagyságát jelölje VBR(t)=VBR(M), mint fıvagy részösszeg. VBR(M)>0, ha a vagyon vagy az adott része a t=M idıpontban létezik (T1, T2, T6, T7, T8) és VBR(M)=0, ha akkor nem létezik (A2). Együtt: VBR(M)≥0. E vagyont vagy részét eredményezı dinamikus vagyonosztályozás fıösszegét jelölje V(M).
43 E jelölésekkel és T1, T2, T6, T7, T8 és T11 valamint A2 alapján írhatjuk, hogy M
(A) VBR(M)=V(M)= ∑ I(t)≥0. t =1
Azt kell megmutatnunk, hogy miközben (A) igaz, aközben bármely K. idıosztály részösszege lehet (B) I(K)≥0, ha 1≤K≤M, illetve lehet (C) I(K)<0, ha 2≤K≤M feltéve, hogy |I(K)|≤V(K-1), ahol V(K1) az I(K)-t megelızı elsı K-1 idıosztály részösszegeinek az összege, melyre fennáll: K −1
V(K-1)= ∑ I(t)≥0 a T12.L. alapján. t =1
A (B) I(K)≥0 (1≤K≤M) nem mond ellent a T1, T2, T6, T7, T8, T11 tételeknek és A2-nek, vagyis a feltételnek is megfelelı M
(A) VBR(M)= ∑ I(t)≥0 formulának. Tehát (B) igaz. t =1
Most még a (C)-t kell igazolni. Elıször a (C) esettel ellentétben tegyük fel, hogy I(K)<0 lehet akkor, ha 1≤K≤M. Legyen pl. mindjárt I(1)<0. Ámde ekkor a bruttóvagyonnak vagy részének rögtön az elsı idıosztályához tartozó részösszege negatív, miközben (A) igaz, ami lehetetlen, mert a T12.L. szerint ekkor I(1)≥0 lehet csak. Megjegyzem, hogy ez az eredmény összhangban van azzal a szemléletes megállapítással, hogy: ha I(1)<0 igaz, akkor ez azt jelenti, hogy pl. vagyon vagy adósság esetén a semmibıl veszünk el valamit, ami képtelenség. Tehát: az I(K) részöszszegek bármelyike nem lehet negatív, illetve a negatívitás nem kezdıdhet K=1-el, csak K=2-tıl, feltéve, hogy I(1)>0 és I(1)≥|I(2)| ha I(2)<0. Másodszor tegyük fel, hogy (C) ellenkezıje (C’) igaz akként, hogy (C’) I(K)<0 lehet, ha 2≤K≤M feltéve, hogy |I(K)|>V(K-1) fennáll. Mármost |I(K)|=-I(K), mert I(K)<0. Így (C’)-ben |I(K)|=-I(K)>V(K-1). Most adjunk -I(K)>V(K-1) mindkét oldalához I(K)-t. Ekkor írhatjuk, hogy (D) I(K)-I(K)>V(K-1)+I(K). Így (D) baloldala egyenlı 0-val, a jobboldala pedig az elsı K részösszeg összegével V(K)-val. A V(K)-ra nézve viszont fennáll: K
(E)
V(K)= ∑ I(t)≥0
(2≤K≤M)
T12.L.
miatt.
Behelyettesítve
t =1
(E)-t (D) jobb oldalába azt kapjuk: K
(F) 0>V(K-1)+I(K)=V(K)= ∑ I(t)≥0 (2≤K≤M). Ámde (F) ellentt =1
K
mondást jelez, mert 0>V(K)= ∑ I(t)≥0 (2≤K≤M), azaz t =1
(G) 0>V(K)≥0 (2≤K≤M).
44 Szavakkal: V(K) egyszerre kisebb nullánál, meg nem kisebb, ami nyilvánvalóan ellentmondás. Mivel a következtetésben nem volt hiba és mégis ellentmondásra jutottunk, ezért minden kétséget kizáróan (C’) feltevésünk hamis. Következésképpen az eredeti (C) állításunk igaz.50 Tehát igazoltuk, hogy mind az (A), mind a (B), mind a (C) állításunk helyes, s így a tétel is igaz. Q.e.d. P.: 1./T14/C. K.: 1./A2, T1, T2, T6, T7, T8, T11, T12.L. Corollárium: E tételbıl nyilvánvaló, hogy ha a t=M idıpontban nem pozitív részösszegő statikus vagyonosztályt eredményezı (0,M] idıintervallumbeli vagyonváltozások idıaspektusú vagyonosztályozásának bármely I(t) részösszege (1≤t≤M) lehet kisebb, mint nulla, vagy egyenlı nullával. Míg ha 2≤t≤M, akkor bármely I(t) részösszeg lehet nagyobb nullánál, feltéve, hogy értéke nem nagyobb, mint az elsı t-1 részösszeg összegének abszolút értéke (T14/C).
Q.e.d. P.: K.: 1./T14. 15. Tétel: A magára hagyott vagyonnal vagy részével összefüggı saját vagyon(rész) mennyisége/értéke az idı múlásával - mintegy automatikusan - tart a mínusz végtelenhez (T15).
Jelölje a bruttóvagyon nagyságát VBR (VBR>0; T1), az adósságét/idegenvagyonét VI (VI>0; T2). A saját vagyon nagyságát pedig jelölje VS (VS=VBR-VI a vonatkozó definíció szerint) és VS 0 T5 szerint. Mármost az A7 axióma szerint, ha a gazdálkodó valamely tmh (ahol tmh=1,2,...) idıpontban magára hagyja a vagyonát vagy annak bármely részét, akkor annak nagysága és pénzértéke, de legalábbis a pénzértéke (vagy más lineáris transzformáltjának mértéke)(A13) — a természeti vagy társadalmi, vagy gazdasági környezet által kiváltott gazdasági események hatására (A12) — az idı múlásával monoton csökkenve tart a nullához.
50
Természetesen a tétel (C) része a T12. Lemma nélkül is bizonyítható, lényegében véve teljes indukcióval: I(t)=I(1) nem lehet negatív, mert a semmibıl nem lehet valamit elvenni. I(2) már lehet negatív, de abszolút értéke nyilván nem haladhatja meg I(1) értékét. Tehát e tételrész a t=2 esetben igaz elıször. Most feltesszük, K −1
hogy a tétel igaz a t=K-1 esetben és igazoljuk a t=K esetre (2≤K≤M). Ekkor: V(K)=
∑ I(t)+I(K)≥0 a feltétel t =1
K −1
szerint, noha I(K)<0 ugyancsak a feltétel szerint. De
∑ I(t)≥-I(K). Továbbá, mivel I(K)<0, ezért |I(K)|=t =1
K −1
I(K) és így fennáll:
∑ t =1
K −1
I(t)≥|I(K)|. Tehát igaz, hogy lehet I(K)<0 (2≤K≤M), feltéve, hogy
∑ I(t)≥|I(K)|. t =1
Q.e.d. Azonban teljes indukció alkalmazása esetén kilépnénk az axiomatikus rendszerbıl, mert nem támaszkodnánk annak axiómáira és a már bizonyított tételeire. Ezért itt ezt a módszert nem választhatjuk.
45 Továbbá, az A11 axióma szerint: ha a gazdálkodó valamely tmh idıpontban magára hagyja a vagyonát vagy annak bármely részét, akkor a gazdálkodó adósságának mértéke — a természeti vagy társadalmi, vagy gazdasági környezet által kiváltott gazdasági események hatására (A12) — az idı múlásával monoton növekedve tart a plusz végtelenhez. A7 és A11 axiómák által megszabott ellentétes monotonitásokból következik, hogy az idı múlásával lesz egyetlen olyan tN (tmh≤tN) idıpont, amelytıl kezdve, vagy amely után a VS=VBR-VI különbség, azaz a saját vagyon negatív és negatívitása — az idı múlásával — monoton nı, azaz VS tart a mínusz végtelenhez (VS → -∞). (Több tN idıpont létezése az A7 és A11 axióma által szabott ellentétes tendenciájú monotonitások miatt kizárt.) Q.e.d. P.: 1./T15/C. K.: 1./A7, A11, A12, A13, T1, T2, T5. Corollárium: A gazdálkodó anyagi helyzete és annak minden tényezıje a gazdálkodás abbahagyása esetén is idıben változik (T15/C).
Q.e.d. P.: 1./T29. K.: 1./T15. A vagyon szerkezeti törvényei és a vagyonosztályozási rendszerek v
16. Tétel:
∑S x =1
A1 =
x
z
∑S y =1
A2 =…=
y
µ
A ∑ S ω ω
n
≥0, azaz: ha a (0,t] idıintervallumbeli bruttóva-
=1
gyon-változások alaposztályát és/vagy annak t. idıpontbeli (t=1,2,…) egyenlegosztályát n-féleképpen (n≥2), azaz tetszıleges, de különbözı A1,A2,..,An vagyonaspektus szerint osztályozzuk, vagy egy An+1 aspektusú vagyonosztályozásával kiegészítjük, akkor e vagyonosztályozási rendszer osztályozásainak szerkezete különbözı, míg az egymással azonos dimenziójú fıösszegei mind egyenlık (T16).
Jelöljük a (0,t] idıintervallumban történt bruttóvagyonváltozások alaposztálya és/vagy annak a t. idıponthoz tartozó egyenlegosztálya tetszıleges A1,A2,...,Ai,..,An, illetve An+1 vagyonaspektus szerinti osztályozásainak szerkezetét a vagyonosztályokhoz tartozó SA részösszegek összegével. Ezek rendre: v
(1)
∑S x =1
A1 ,
x
z
∑S y =1
A2 ,...,
y
w
∑S u =1
Ai ,...,
u
µ
∑ S ωAn , ill. ω =1
π
A ∑ S ζ ζ
n +1
=1
ahol x,y,u,ω,ξ>0 és egész. Az (1) formulákkal szimbolizált vagyonosztályozások szerkezete mind különbözı, mert az A6 axióma szerint a (0,t] idıintervallumbeli vagyonváltozásoknak illetve a t. idıpontbeli vagyonnak nincs két azonos vagyonosztályozása.
46 Az (1) alatti jelöléseket felhasználva állítom, hogy igaz v
(2)
∑S x =1
A1 =
x
z
∑S y =1
A2 =...=
y
w
∑Su
Ai =...=
µ
A ∑ S ω ω
n
≥0.
=1
u =1
Az (1)-beli vagyonosztályozások részösszegeinek összege A4 szerint egyenlı az SAi-vel (i=1,2,3,...,n,n+1) jelölt fıöszszegükkel, és így minden i-re fennáll: v
z
x =1
y =1
w
(3) SA1= ∑ S xA1 , SA2= ∑ S yA2 ,...,SAi= ∑ S uAi ,... u =1
µ
π
ω =1
ζ =1
...,SAn= ∑ S ωAn , illetve SAn+1= ∑ S ζAn +1 . Minthogy az egyenlık felcserélhetık, a (2) formulát egyszerőbben is írhatjuk: (4) SA1=SA2=...=SAi=...=SAn≥0. Ezt kell megmutatni. Mármost: (I.) Ha n=2, akkor (5) SA1=SA2≥0 az igazolandó állítás. Jelölje most VBR a (0;t] intervallumban történt bruttóvagyon-változások bármely aspektusú dinamikus vagyonosztályozásának fıösszegét. Valamint jelölje V’BR a (0;t] intervallumban történt bruttóvagyon-változások egyenlegeinek t. idıponthoz tartozó bármely aspektusú statikus osztályozásának fıösszegét. VBR=V’BR az A5 axióma szerint, függetlenül attól, hogy a VBR fıösszeg dinamikus vagy statikus osztályozás fıösszege és attól is, hogy milyen az osztályozási aspektusa. A t. idıpontban a bruttóvagyon VBR fıösszeggel adott menynyisége vagy pénzértéke (vagy más, pozitív együtthatójú lineáris transzformáltjának értéke) T1 és A2 szerint nem kisebb, mint nulla (VBR≥0). Ugyanakkor A4 szerint fennáll: VBR=SA1 és VBR=SA2. Ám amik ugyanazzal egyenlık, egymással is egyenlık, s ezért igaz: SA1=SA2≥0. Tehát n=2 esetén (5) és így (4) és (2) is igaz. (II.) Most feltesszük, hogy igaz a (2) és (4) n tagú formulája és megmutatjuk, hogy igaz az (n+1)-ik taggal kiegészített formula is. Vegyük tehát az n tagú (4) egyenlıséglánchoz hozzá a (3)beli, VBR nagyságú vagyon An+1 aspektusnak megfelelı újabb (A6) vagyonosztályozása SAn+1 fıösszegét (A4). Ekkor igazolandó: (6) SA1=SA2=...=SAi=...=SAn=SAn+1≥0.
47 Mármost, a feltétel, valamint T1 és A4, A5 alapján SAn+1-re fennáll: VBR=SAn+1≥0. De VBR=SAn≥0 is igaz a feltétel, valamint T1 és A4, A5 alapján. Ekkor tehát SAn és SAn+1 is ugyanazzal a VBR-val egyenlı és nem kisebb, mint nulla. Ezért: SAn=SAn+1. Viszont a feltétel szerint SAi=SAn is igaz (i=1,2,...), következésképp az SAi=VBR≥0 is igaz (i=1,2,...). De láttuk, hogy SAi és SAn+1 is ugyanazzal a SAn-el egyenlı, és amik ugyanazzal egyenlık, egymással is egyenlık, azaz: SAn+1 minden SAi-vel (i=1,2,...,n) is egyenlı, és nem kisebb, mint nulla. Azaz valóban: a (6) és így a (2) és (4) formula bármely n és n+1 esetén is igaz. Q.e.d. E 16. tételt a vagyon n-aspektusú (n≥2) szerkezeti törvényének nevezem.51 P.: 1./T16/C1, C2, C3, T17, T18. K.: 1./A4, A5, A6, T1. n
Corollárium 1:
∑ J =V +V ≥0, vagyis: ha a (0,t] idıintervallumbeli bruttóvagyon-változások i
S
I
i =1
t. idıpontbeli egyenlegeinek (azaz a vagyon tárgyainak) halmazát eszköz- és forrás-, azaz két különbözı aspektus szerint osztályozzuk, akkor e vagyonosztályozási rendszer osztályozásainak szerkezete eltérı, de az azonos mértékegységben kifejezett két fıösszeg egyenlı (T16/C1).
Q.e.d. P.: 1./T17. K.: 1./T16. M
Corollárium 2:
∑ t =1
n
I(t)=
∑ J =V +V ≥0, vagyis: ha a (0,t] idıintervallumbeli bruttóvagyoni
S
I
i =1
változások halmaza idı és a t. idıpontbeli egyenlegeik (azaz a vagyon tárgyainak) halmaza eszköz-forrás, azaz együtt három különbözı aspektus szerint osztályozott, akkor e dinamikus és statikus vagyonosztályozási rendszer osztályozásainak szerkezete eltérı, de az azonos mértékegységben kifejezett három fıösszeg egyenlı (T16/C2).
Q.e.d. P.: 1./T18, T19, T20, T21. K.: 1./T16. Corollárium 3: IM=EM=FM=…=XM≥0., azaz: ha a (0,M] idıintervallumbeli bruttóvagyonváltozások halmaza idı és a M. idıpontbeli egyenlegeik (azaz a vagyon tárgyainak) halmaza eszköz- és forrásaspektust meghaladó, együtt N különbözı (N≥ ≥3 és egész) aspektus szerint osztályozott, akkor e dinamikus és statikus vagyonosztályozásokból álló vagyonosztályozási
51
Ha e tételbıl és bizonyításából, valamint minden premisszájából elhagyjuk a vagyonra való konkrét utalásokat, akkor e tétel egyben azonos az általános könyvvitel alapvetı n aspektusú (n≥2) szerkezeti törvényével is.
48 rendszerhez N különbözı osztályozási szerkezet tartozik, de az azonos mértékegységben kifejezett fıösszegek mind egyenlık (T16/C3). 52
Q.e.d. P.: 1./T29. K.: 1./T16. Megjegyzés: Matematikai jelölésekkel e következmény így írható le: M
M
M
M
I =E =F =…=X >0, ahol a különbözı ∪ ∪ ∪ … ∪ 1, 2, 3,…,N (N egész)
aspektusok száma: és − a t=M-ik idıpontra összegezett számsorú (részösszegő) M
idıosztályozást IM= ∑ I(t)>0 (T12), t =1
n
M az eszközosztályozást E = ∑ Ji>0 (T1),
−
i =1
− −
M
a forrásosztályozást F =VS+VI>0 (T5), míg az elıbbiektıl különbözı (A6), valamely lehetséges aspektusú, szintén t=M-ik idıpontra összegezett számsorú, N-ik osztályozást [pl. a bruttóvagyon hitelezık v
H aspektusa szerinti felosztását] XM= ∑ S xH >0 jelölhex =1
ti. M Az I =EM=FM=…=XM>0 formulával kifejezett tételt a bruttóvagyon N-aspektusú (N≥3 és egész), dinamikus és statikus szerkezeti törvényének nevezem. M
17. Tétel:
n
∑∑ t =1
i =1
M
Ji(t)=
∑ V (t)+V (t)≥0, azaz a bruttóvagyon IE-IF-aspektusú
53
S
I
dinamikus
t =1
vagyonosztályozási rendszerének a t=1,2,…,M idıpontokhoz tartozó azonos dimenziójú E-F-aspektusú fıösszegei és ezek t=M idıpontig számított összegei egyenlık (T17).
A T16/C1 szerint valamely t. idıpontban a bruttó vagyon E-Faspektusú statikus osztályozása fı- és részösszegeire érvényes a következı (1) formula: n
(1)
∑ Ji=VS+VI≥0.
Ámde a bruttó-, a nettó vagyon és az
i =1
adósság (1) alatti összege, természete szerint (A7,A11,A15), idıbeni változások algebrai összege. Ezért a bruttóvagyon E52
Ha e tételbıl, valamint minden premisszájából elhagyjuk a vagyonra való konkrét utalásokat, akkor e tétel egyben azonos az általános könyvvitel alapvetı n aspektusú (n≥3) dinamikus és statikus szerkezeti törvényével is. 53 Az E-F-aspektus jelölje a továbbiakban röviden a ’eszköz-forrás-aspektus’ kifejezést. Ugyanakkor pl. az IE-IF-aspektus, értelemszerően, az összetett „idı és eszköz–idı és forrás-aspektus” kifejezése.
49 F-aspektusú változásait, az idıpontot jelölı t szerint (t=1,2,...,M) a (t-1;t] idıintervallumonként összegeznünk lehet. Állítom, hogy ekkor a bruttóvagyon változásainak IE-IFaspektusú dinamikus vagyonosztályozási rendszerére fennáll a tétel szerint: M
(2)
∑ t =1
n
M
i =1
t =1
∑ Ji(t)= ∑ VS(t)+VI(t)≥0, valamint a (2) egyenlıség-
része két összegének bármely t. tagjára, hogy: n
(3)
∑ Ji(t)=VS(t)+VI(t)
(t=1,2,...,K,...,M) (Ld. az alábbi
i =1
y1 táblázatot). Tehát a (2) és (3) formula érvényességét kell igazolni:
Elıször: A
(2)
formulában
a
két
fıösszeg
M
n
t =1
i =1
∑ ∑ Ji(t)
valamint
M
∑ VS(t)+VI(t)
a
bruttó
vagyon
két
különbözı
osztályozását
t =1
reprezentálja a feltétel és a vonatkozó definíciók, valamint A6 szerint. Továbbá ezek az összegek, az említett definíciók alapján, egyenként a bruttó vagyon fıösszegével egyenlık. E két ok miatt a (2) formula nyilvánvalóan azonos a T16 tételbeli általános formulával az n=2 esetben. Tehát a tétel (2) formulával jelölt állítása igaz.
50 Másodszor: Most még a (3) formula érvényét kell igazolni. Ha t=1 akkor (3) igaz, mert a (2) t=1 mellett is igaz, és ekkor (2) és (3) azonos. De (2) igaz t=K és t=K+1 mellett is (K=1,2,...,M). Viszont, ha (2) t=K+1 mellett is igaz, akkor igaz a következı (4) formula is: K
(4) Ji(K+1)+ ∑ t =1
n
K
i =1
t =1
∑ Ji(t)=VS(K+1)+VI(K+1)+ ∑ VS(t)+VI(t),
mert a (4) alatti formula azonos a következı egyenlıséggel: K +1
∑ t =1
n
K +1
i =1
t =1
∑ Ji(t)= ∑ VS(t)+VI(t).
De ha (4) igaz, akkor igaz az alábbi (5) is n
(5)
∑ Ji(K+1)=VS(K+1)+VI(K+1)
(t=K+1=2,...,M),
ellenkezı
i =1
esetben, ha (5) egyenlıségei nem állnának fenn, akkor (4) sem lenne igaz, noha bizonyítottuk, hogy igaz. Tehát (5) bármely K+1 esetén (t=K+1=2,...,M), (3) pedig bármely K esetén (t=K=1,2,...,M) igaz. Így a tétel mindkét állítása igaz, ezért a tétel igaz. Q.e.d. E tételt a bruttóvagyon idı-eszköz- és idı-forrás aspektusú dinamikus szerkezeti törvényének nevezem (T17). 54 P.: 1./T17/C, T20. K.: A6, A7, A11, A15, T16, T16/C1. Corollárium: A bruttóvagyon tetszıleges két különbözı aspektusú dinamikus vagyonosztályozásának t=1,2,..,M idıpontjához tartozó azonos dimenziójú fıösszegei és ezek t=M idıpontra számított összegei egyenlık.
Q.e.d. E formulával kifejezett tételt a bruttóvagyon tetszıleges kétaspektusú dinamikus szerkezeti törvényének nevezem 55 (T17/C). P.: K.: T17. 18. Tétel:
M
M
n
t =1
t =1
i =1
M
∑ I(t)= ∑ ∑ J (t)= ∑ V (t)+V (t)≥0, azaz a bruttóvagyon I-IE-IF aspektusú dii
S
I
t =1
namikus vagyonosztályozási rendszerének a t=1,2,…,M idıpontokhoz tartozó azonos dimenziójú E-F aspektusú fıösszegei és az I(t) idıosztályok, valamint ezek t=M idıpontra összesített összegei egyenlık (T18). 54
Ha e tételbıl és bizonyításából, valamint minden premisszájából elhagyjuk a vagyonra való konkrét utalásokat, akkor e tétel egyben azonos az általános könyvvitel alapvetı n=2 idı-attribútum aspektusú dinamikus szerkezeti törvényével is. 55 Ha e tételbıl és bizonyításából, valamint minden premisszájából elhagyjuk a vagyonra való konkrét utalásokat, akkor e tétel egyben azonos az általános könyvvitel alapvetı n=2 tetszıleges idı-attribútum aspektusú dinamikus szerkezeti törvényével is.
51
Nézzük a következı (1) formulát: M
M
t =1
t =1
(1) V(M)BR= ∑ VBR(t)= ∑ I(t)≥0 (T1, A2), ahol VBR(t)=I(t) (t=1,2,...,M) valamint VBR(t) és I(t) is a bruttó vagyon egyazon t. idıosztályának részösszegét jelöli. Az (1) alak a tétel szerinti bruttó vagyon (0;M] intervallumhoz tartozó változásainak tisztán idıaspektus szerinti osztályozását a részösszegekkel és fıösszeggel reprezentáló matematikai formulája a vonatkozó definíció szerint, de egyúttal szimbolizálja a bruttó vagyon M. idıponthoz tartozó mértékét is T1 és A2 szerint. Ezek alapján állítom, hogy igaz a tételnek megfelelı I-IEIF aspektus szerinti következı két formula: (2)
M
M
n
M
t =1
t =1
i =1
t =1
∑ I(t)= ∑ ∑ Ji(t)= ∑ VS(t)+VI(t)≥0,
valamint igaz a (2)
szerinti összegek bármely t. tagjára, hogy: n
(3) I(t)= ∑ Ji(t)=VS(t)+VI(t) (t=1,2,...,K,...,M). i =1
Tehát a (2) és (3) formula érvényét kell igazolni: Elıször: M
A (2) formulában a három összeg, azaz:
∑ I(t) és t =1
M
n
t =1
i =1
∑ ∑ Ji(t)
M
valamint
∑ VS(t)+VI(t),
három különbözı osztályozást repre-
t =1
zentál e vagyonosztályozási rendszerben a feltétel és a vonatkozó definíció, valamint A6 szerint. Továbbá ezek az öszszegek a feltétel és az (1) alaknál említett definíció alapján egyenként a bruttó vagyon fıösszegével egyenlık. Ezen okok miatt a (2) formula nyilvánvalóan azonos a T16 tételbeli általános formulával az n=3 esetben. Így a tétel (2) formulával jelölt állítása igaz. Másodszor: n
Még
a
(3)
formula
[I(t)= ∑ Ji(t)=VS(t)+VI(t) i =1
(t=1,2,...,K,...,M)] érvényét kell igazolni. n
A (3) formulából az
∑ Ji(t)=VS(t)+VI(t)
egyenlıség, azaz az
i =1
eszközök dinamikus osztályozásának fıösszege = források dinamikus osztályozásának fıösszege egyenlıség bármely t esetén (t=1,2,...,K,...,M) igaz a T17 szerint. Viszont definíció n
szerint a
∑ Ji(t)
és a VS(t)+VI(t) összegek mindketten a t.
i =1
idıosztályba, vagy másképp a (t-1;t] idıintervallumba tartozó vagyonváltozások algebrai összegét jelenítik meg eszköz ill.
52 forrásaspektus szerint, ezért ezek egyenlık az I(t) részöszszeggel is (t=1,2,...,K,...,M). Tehát a tétel mindkét állítása igaz és ezért a tétel igaz. Q.e.d. P.: 1./T18/C1, C2, T20. K.: 1./A2, A6, T1, T16. E tételt a bruttóvagyon három különbözı, idı-, eszköz- és forrásaspektusú, dinamikus szerkezeti törvényének nevezem. Corollárium 1: A bruttóvagyon idıaspektusú vagyonosztályozásának valamely t. idıpontjához (t=1,2,..,M) tartozó részösszege egyenlı e vagyon bármely másik, idı- és valamely más aspektus szerinti vagyonosztályozásának ugyanezen t. idıponthoz tartozó azonos dimenziójú fıösszegével (T18/C1).
Q.e.d. P.: K.: T18. Corollárium 2: A bruttóvagyon bármely összetett dinamikus vagyonosztályozási rendszerének minden t. idıosztályához (t=1,2,..,M) tartozó részösszege és ezek összegei egyenlık (T18/C2).
Q.e.d. P.: K.: T18. A gazdasági események és a vagyonosztályozási rendszerek kapcsolata 19. Tétel: Bármely és bármennyi gazdálkodóspecifikus gazdasági esemény bekövetkezte a bruttóvagyon I-E-F aspektusú dinamikus és statikus szerkezeti törvényének érvényességét nem befolyásolja, noha ekkor a gazdasági eseménykoordinátáknak megfelelı végsı vagyonosztályokhoz tartozó részösszegek, a gazdasági esemény jellegének megfelelıen, megváltoznak.
Jelölje a gazdálkodó idıben változó bruttóvagyonának fıöszszegét VBR(t). A t=0 idıpontban leltározott vagyon mértékét — mennyisége és/vagy pénzértéke, vagy ezek más pozitív együtthatójú lineáris transzformáltja szerint — és szerkezetét mun
tassa a VBR(0)=I(0)= ∑ Ji=VS+VI≥0 formula. Vizsgáljuk hát meg e i =1
bruttóvagyon idı-, eszköz- és forrásaspektusú szerkezeti törvénye érvényének alakulását, az [1;M] idıintervallumban bekövetkezı gazdasági események (A12, A13) kapcsán elıálló változások hatásaként, a T16/C2 tétel szerinti (1)
M
n
t =1
i =1
∑ I(t)= ∑ Ji=VS+VI≥0 formulán. Az I(t) jelöli e bruttó-
vagyon változások t. idıosztályának részösszegét. Azt kell tehát megmutatnunk, hogy a (1) formulájú egyenlıtlenség, bármely és bármennyi gazdálkodóspecifikus gazdasági esemény (A12, A13) bekövetkezése esetén is igaz marad, noha ekkor a gazdasági eseménykoordinátáknak (A14) megfelelı végsı
53 vagyonosztályokhoz tartozó részösszegek, a gazdasági esemény jellegének megfelelıen megváltoznak. Az A15 axióma szerint: a t idıpontban bekövetkezett gazdasági esemény kapcsán, az érintett vagyonosztályozáson belül, (a) egyetlen végsı vagyonosztály részösszege nı, vagy (b) csökken egy ∆X>0 összeggel (a csökkenésre – jelölje c - áll: c=-∆X<0), vagy (c) egyik végsı vagyonosztály részösszege egy ∆X>0 összeggel csökken, míg egy másik részösszege ugyanezen ∆X>0 összeggel nı — a t-1 idıpontbeli állapothoz képest. Más jellegő vagyonváltozás, gazdasági esemény vagy más ok (T12) kapcsán, nem lehetséges. Így az A15 szerinti háromféle változás hatását kell csak vizsgálnunk. Azt kell tehát megmutatnunk, hogy a lehetı vagyonváltozásokat hozó gazdálkodóspecifikus gazdasági események nem teszik érvénytelenné a (1) formulát. Minthogy az (a) és (b) szerinti vagyonváltozás csak elıjelben különbözik, ezért hatásuk egyszerre vizsgálható — ez legyen az (A) eset, míg a (c) típusú vagyonváltozás hatását kell külön vizsgálni — és ez legyen a (B) eset. Az (A) esetbeli valamely gazdasági esemény kapcsán bekövetkezı bruttóvagyonváltozást (növekedést vagy csökkenést) jelölje: ∆VBR=(VBR±x)-VBR=±x, amelyben nyilván x>0 T1 szerint. Ezen túl a bruttóvagyon saját- és idegenforrás osztályait, továbbosztályozással, célszerőbb alakra hozzuk. Legyenek tehát a források végsı osztályaihoz tartozó részösszegek: VS,w és VI,p minden w és p indexértékre. Ekkor: (A1) VS=VS,1+...+VS,w+...+VS,k (saját források részösszegei), (A2) VI=VI,1+...+VI,p+...+VI,r (idegen források részösszegei). Ha pedig kényelmi okokból a w és p indexek maximális értékét összegezzük, akkor VS és VI helyett bevezethetjük a következı, általános forrás- vagy tıkeváltozókat: Vj, ahol j=1,2,...,z=k+r. Ekkor írható: (A3) VBR=VS+VI=V1+…+Vj+…+VZ, vagy rövidebben: z
(A4) VBR=V1+…+Vj+…+VZ= ∑ Vj. j =1
A (1) formula most ekképp alakítható át a bevezetett új forrásrészösszeg-jelöléssel: (2)
M
n
z
t =1
i =1
j =1
∑ I(t)= ∑ Ji= ∑ Vj≥0,
amely részletezve a következı:
(A5) I(1)+…+I(t)+…+I(M)=J1+…+Ji+…+Jn=V1+…+Vj+…+VZ≥0. Mármost: a feltétel szerint, valamely [1,M] idıintervallum t. idıpontjában következzen be a ∆VBR=±x (x>0; T1) vagyonvál-
54 tozást jelentı gazdasági esemény, a gazdálkodó gazdasági tevékenységének, vagy gazdasága természeti-, társadalmi- ill. gazdasági környezetének hatására (A12). Ez a gazdasági esemény, mondjuk, a javak i-edik eszközosztályát, azaz a Ji részösszeget érintse (Ji±x). Ekkor a bruttóvagyon idı-, eszköz- és forrásaspektusú fıösszegei egyenlık kell legyenek az A4 axióma és a T16/C2 tétel szerint. De csak úgy lehetnek egyenlık, ha az egyenlıkhöz egyenlıket adunk, illetve, ha az egyenlıkbıl egyenlıket veszünk el, azaz: ha az érintett eszközfajta Ji részösszegével egyszerre egy megfelelı forrásfajta (forrásosztály) Vj részösszege és egy megfelelı "idıfajta" (idıosztály) I(t) részösszege is megváltozik, mégpedig azonos mértékben és azonos elıjellel. (Ellenkezı esetben T16/C2 és A4 hamis kellene legyen, noha mindkettı igaz.) Legyen a megváltozó forrásfajta részösszege, mondjuk a Vj, az idıfajtáé pedig I(t). Így valóban az egyenlıség-egyenlıtlenség nem, csak három részösszeg változik meg. Az (A5) formula tehát így alakul: (A6)
I(1)+…+[I(t)± ±x]+…+I(M)=J1+…+(Ji±x)+…+Jn=V1+…+(Vj±x)+…+VZ≥0.56 Az egyenlıség-egyenlıtlenség érvénye tehát a ∆VBR=± ±x (x>0) bruttó-vagyonváltozás ellenére megmaradt, hiszen mindhárom aspektusú fıösszeg azonosan: ±x értékkel változott. Ezt a ±x kiemelésével, még jobban szemléltethetjük: M
n
z
t =1
i =1
j =1
(A7) ±x+ ∑ I(t)=±x+ ∑ Ji=±x+ ∑ Vj≥0. Természetesen a ±x vagyonváltozás csak azért történhetett meg, mert a feltétel értelmében a gazdasági esemény bekövetkezhetett, azaz — definíció szerint — nem volt lehetetlen gazdasági esemény. Vagyis a gazdasági eseménykoordináták
Az aláhúzott részösszegek azon végsı osztályok részösszegei, melyek valamely gazdasági esemény bekövetkezte kapcsán, az esemény jellege szerint megváltoznak. A továbbiakban is, ahol indokolt, aláhúzással jelzem azt, ami ajánlott a figyelemre. 57 Most az eseménykoordináták az egyszerőség kedvéért csak a változás helyét jelzik, jellegét nem, és kivételesen jelzik a változó t. idıosztály helyét is.
55 pl. a költségosztály elemei, azaz a hiányzó (már elveszett) vagyontárgyak, létezı vagyontárgyakká válnának, azaz a nincs lenne a van. Ez is képtelenség lenne.) A tétel igazolásához kihasználjuk azt, hogy a ∆VBR=±x (x>0) — az elıbbi nem-negatívitási ill. nem-pozitívitási korlát mellett — lehet bármennyi és bármekkora növekedés, vagy csökkenés, merthogy ∆VBR=±x nagyságát ill. elıfordulásainak számát nem határoztuk meg, s hogy t az [1;M] zárt intervallumban bármely idıpontot jelenthet, miközben M is bármekkora lehet. Kihasználjuk továbbá azt is, hogy ±x bármely I(t)-hez és Jihez (i=1,2,...,n), illetve Vj-hez (j=1,2,...,z) adódhat, feltéve, hogy a
Értelmes (vagy reális) az az eseménykoordináta-n-es, amely a gazdálkodóspecifikus gazdasági esemény valamelyikének bekövetkezése kapcsán, a gazdálkodó vagyonosztályozási rendszerében azokat, és csakis azokat a végsı vagyonosztályokat jelöli meg — maradéktalanul —, amelyeknek e gazdasági esemény jellege és tartalma szerint meg kell változzon a részösszegők. 59 Ld. elıbbi lábjegyzetet.
56 Ugyanekkor a t. idıponthoz tartozó (t-1;t] idıintervallum, azaz "idıosztály", I(t) részösszege pedig úgy változik, hogy nı is és csökken is x-el, így voltaképp nem változik. Azaz: (B1) formula egyenlıségrésze ekkor így alakul: (B2)
VBR=I(1)+…+[I(t)+x-x]+…+I(M)= =J1+…+(Ji+x)+…+(Jk-x)+…+Jn=V1+…+Vj+…+VZ≥0,
vagy másképp, mivel x-x=0, ezért I(t)+x-x=I(t)+0=I(t), vagyis (B3)
VBR=I(1)+…+I(t)+…+I(M)= =J1+…+J'i+…+J'k+…+Jn=V1+…+Vj+…+VZ≥0,
ahol J’i=Ji+x, J’k=Jk-x [1≤i,k≤n; i≠k; feltéve, hogy eseménykoordináták értelmesek60] a tényleg egymás "rovására" változó Jk és Ji részösszeg új értéke. A +x, -x egy helyre győjtésével (további átcsoportosításával — még szemléletesebbé tehetı a fıösszeg változatlanságának oka: M
n
t =1
i =1
z
n
(B4) VBR= ∑ I(t)=( ∑ Ji)+x-x= ∑ Ji= ∑ Vj≥0, i =1
j =1
n
n
n
i =1
i =1
i =1
hiszen x-x=0, és ( ∑ Ji)+x-x=( ∑ Ji)+0= ∑ Ji. A (2) ill. (B1) egyenlıség-egyenlıtlenségrendszerben az idı-, az eszköz- és a forrás fıösszeg a vagyon x>0 értékő, eszközaspektusú, struktúraváltozással járó (kompenzatív) gazdasági esemény ellenére nem változott. Itt is kihasználjuk, hogy x>0 lehet bármekkora — a vagyonosztályok számértékének nemnegatívitási korlátja mellett. És, hogy a t bármely idıpontot jelenthet (t=1,2,...,M), miközben M is bármekkora lehet. Azt is kihasználjuk, hogy x bármely Ji-hez hozzáadható és bármely Jk-ból levonható, feltéve, hogy az eseménykoordinátapáros egyáltalán értelmes. Hasonló módon megmutatható, hogy a (2) formula akkor is érvényben marad, ha az x>0 strukturális vagyonváltozás a forrásosztályokon következik be, vagyis: M
n
z
t =1
i =1
j =1
(B5) VBR= ∑ I(t)= ∑ Ji=V1+…+(Vj+x)+…+(Vh-x)+…+Vz=( ∑ Vj)+x-x≥0, [ahol (1≤j,h≤z; j≠h), feltéve, hogy a <j,h> párkapcsolat egyáltalán értelmes], illetve akkor is, ha csak az "idıosztályokon". Bár ez utóbbi nem lehet valóságos gazdasági esemény.61 Itt is — mint arra már utaltunk — fennáll: 60
Értelmes (vagy reális) az az eseménykoordináta-n-es, amely a gazdálkodóspecifikus gazdasági esemény valamelyikének bekövetkezése kapcsán, a gazdálkodó vagyonosztályozási rendszerében azokat, és csakis azokat a végsı vagyonosztályokat jelöli meg — maradéktalanul —, amelyeknek e gazdasági esemény jellege és tartalma szerint meg kell változzon a részösszegők (D45). 61 E lehetıség mibenlétérıl a könyvviteli princípiumok és tételek kapcsán ejtünk szót.
57 M
(B6) VBR=I(1)+…+[I(t)+x]+…+[I(u)-x]+…+I(M)=[ ∑ I(t)]+x-x= t =1
M
M
n
z
t =1
t =1
i =1
j =1
=[ ∑ I(t)]+0= ∑ I(t)= ∑ Ji= ∑ Vj≥0 ahol (1≤t,u≤M; t≠u), feltéve, hogy a
P.: 1./T28, 2./T8. K.: 1./T19. Corollárium 2: Bármely vagyonosztályozás részösszege invariáns (nem együttváltozó) e vagyonosztályozás gazdasági esemény kapcsán megváltozó részösszegére vagy részösszegeire nézve.
P.: K.: T19. 20. Tétel: Bármely és bármennyi gazdálkodóspecifikus gazdasági esemény bekövetkezte a bruttóvagyon I-IE-IF aspektusú dinamikus szerkezeti törvényének érvényességét nem befolyásolja, noha ekkor a gazdasági eseménykoordinátáknak megfelelı végsı vagyonosztályokhoz tartozó részösszegek a gazdasági esemény jellegének megfelelıen megváltoznak.
Ha
a
T16/C2
tétel
M
n
t =1
i =1
∑ I(t)= ∑ Ji=VS+VI≥0
formulája
Ji,VS,VI
változóit is t szerint (t=1,2,...,M) vesszük — amikor minden t-hez a (t-1;t] idıintervallum és definíció szerint a benne történt változások egyenlege I(t) tartozik — a következı formulasor adódik: t)
t-ik formula n
1) I(1)= ∑ Ji(1)=VS(1)+VI(1), i =1 n
2) I(2)= ∑ Ji(2)=VS(2)+VI(2), i =1
. n
t) I(t)= ∑ Ji(t)=VS(t)+VI(t), i =1
58 . n
M) I(M)= ∑ Ji(M)=VS(M)+VI(M) [vö. T18 (3) formula]. i =1
A megfelelı oldalakat összegezve a T18 tételbeli igazolt érvényő (2) formulát kapjuk [jelöljük most (A)-val]: (A)
M
M
t =1
t =1
∑ I(t)= ∑
n
M
i =1
t =1
∑ Ji(t)= ∑ VS(t)+VI(t)≥0.
Azt kell megmutatnunk, hogy a bruttóvagyon (A) formula által reprezentált idı-, eszköz- és forrásaspektusú dinamikus szerkezeti törvénye érvényben marad bármely és bármennyi (nem lehetetlen) gazdálkodóspecifikus gazdasági esemény következik is be, noha ekkor az (értelmes) eseménykoordinátáknak megfelelı végsı vagyonosztályokhoz tartozó részösszegek megváltoznak. M
Mármost:
∑ t =1
n
n
∑ Ji(t)= ∑ Ji i =1
és
i =1
M
z
t =1
j =1
∑ VS(t)+VI(t)=VS+VI= ∑ Vj,
ha
elıször csak az idı, azaz t szerint összegezzük az egyes eszköz- és forrásfajták változásait, míg i illetve j szerint nem. De ekkor (A) ekvivalens az alábbi (B) formulával: (B)
M
n
z
t =1
i =1
j =1
∑ I(t)= ∑ Ji=VS(t)+VI(t)= ∑ Vj≥0.
A (B) formula viszont ekvivalens a T16/C2 tétel már említett
M
n
t =1
i =1
∑ I(t)= ∑ Ji=VS+VI≥0 formulájával, amire nézve viszont a
T19 tételben már bizonyítottuk az e tételnek is megfelelı állítást. Q.e.d. P.: 1./T20/C1, C2, C3, C4, C5, C6, C7. K.: 1./T16/C2, T18, T19. Corollárium 1: A gazdálkodó anyagi helyzete és annak minden gazdálkodóspecifikus gazdasági események kapcsán idıben változik.
tényezıje
a
P.: 1./T29. K.: 1./T20. Corollárium 2: Az I=E=F≥0 formulával reprezentált vagyonosztályozási rendszer osztályozásai egymástól függetlenek a csak szerkezeti vagyonváltozások tekintetében.
P.: K.: 1./T20. Corollárium 3: Az I=E=F≥ ≥0 formulával reprezentált 3 aspektusú vagyonosztályozási rendszerben, karakterisztikájának megfelelıen, vagyonnövekedés vagy csökkenés esetén mindig 3 — az I és az E és az F aspektusú vagyonosztályozáshoz tartozó egy-egy —, míg csak szerke-
59 zetváltozás esetén mindig 2 — vagy csak az I, vagy csak az E, vagy csak az F aspektusú osztályozáshoz tartozó — részösszeg változik meg.
P.: K.: T20. Corollárium 4: Az I=E=F=…=X≥ ≥0 formulával reprezentált N aspektusú (N≥ ≥3 és egész) vagyonosztályozási rendszerben, karakterisztikájának megfelelıen, vagyonnövekedés vagy csökkenés esetén mindig N — de osztályozásonként csak egy —, míg csak szerkezetváltozás esetén, ha mindegyik osztályozás független a többitıl, mindig csak az egyik osztályozáshoz tartozó 2 részösszeg változik meg. Ha a rendszerben van még nem független K (1≤K≤N-3 és egész) vagyonosztályozás is, akkor összesen legfeljebb 2K+2 részösszeg változik meg K+1 osztályozásban.
P.: K.: T20. Corollárium 5: Elvonatkoztatva az idıaspektustól, az E=F≥ ≥0 formulával reprezentált vagyonosztályozási rendszerben, karakterisztikájának megfelelıen, bármely gazdasági esemény kapcsán mindig csak 2, E és/vagy F vagyonosztályhoz tartozó részösszeg változik meg — bárhogyan is változik a vagyon.
P.: K.: T20. Corollárium 6: Az I=E=F=…=0 formulával reprezentált explicite N-szeres (N≥ ≥3 és egész) vagy az IE=IF=…=0 formulával reprezentált implicite N-szeres (N≥ ≥2) vagyonosztályozási rendszer szerkezeti törvénye érvényes lesz a vagyon és adósság nélkül kezdı (VBR=0 és VI=0), valamint a csak adóssággal rendelkezı (VBR=0 és VI=A>0 és VS= -A<0, és F=VS+VI=0) gazdálkodó esetén, bármely és bármennyi gazdálkodóspecifikus gazdasági esemény következik be.
P.: 2./T2. K.: 1./T20. A természetes vagyonosztályozás törvénye és a természetes vagyonosztályok Corollárium 7: A t. idıpontokban (t=1,2,…,M) bekövetkezı gi(t) [i=1,2,…,n] gazdálkodóspecifikus gazdasági események fokozatosan - természetes kronológia szerint – felépítik és minden t. idıpontban egyértelmően meghatározzák a gazdálkodó vagyonosztályozási rendszerét. E természetes folyamat minden t. idıpontjában: a gi(t) események jellegének és koordinátáinak megfelelı részösszegek megváltoznak (nınek és/vagy csökkennek) . Ez történik akkor is, ha e változások nyilvántartottak és akkor is, ha nem; és akkor is, ha e változások koordinátái még csak kikövetkeztethetık a gi(t) gazdasági események idıpontja és neve (leírása) adataiból.
P.: K.: 1./T20, 2./T2. E T20/C7 tételt a természetes vagyonosztályozás törvényének, míg a létrejött osztályokat természetes vagyonosztályoknak nevezem.
60
Komplett és inkomplett vagyonosztályozási rendszerek 21. Tétel: A (0,M] idıintervallumban változó bruttóvagyon I=E=F≥0 formulával reprezentált explicite N-szeres (N=3) vagyonosztályozási rendszere komplett rendszer (T21).
A vonatkozó definíció értelmében valamely gazdálkodó vagyonának vagyonosztályozási rendszerét komplettnek nevezem, ha az kielégítıen informatív és egyben zárt a gazdálkodását jellemzı (gazdálkodóspecifikus) gazdasági eseményekre nézve. Azt kell tehát megmutatnunk, hogy a T16/C2 tételbeli I-E-F aspektusú (1)
M
n
t =1
i =1
∑ I(t)= ∑ Ji=VS+VI≥0
formulával reprezentált vagyonosztályozási rendszer kielégítıen informatív és egyben zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. (A) Elıször mutassuk meg, hogy az (1) formulával szimbolizált vagyonosztályozási rendszer kielégítıen informatív. Ez fennáll, ha a vagyonosztályozási rendszert képviselı formula a gazdálkodó adott idıpontbeli anyagi helyzetét, és legalább bruttóvagyonának ezen idıpontig tartó idıbeli változását mutatja, per definiendem. De a gazdálkodó anyagi helyzete alatt, definíció szerint, bruttó- és nettóvagyona, valamint adóssága adott idıpontbeli nagyságát valamint osztályai és részösszegei szerinti szerkezetét értem. Az (1) formulában: a t=M idıpontban összegzett bruttóvagyon VBR≥0 (T1, A2), az n
eszköz ( ∑ Ji) és forrás (VS+VI) aspektusú fıösszegeivel szei =1
repel (ld. a következı (2) formulát): n
(2) VBR= ∑ Ji=VS+VI≥0. i =1
Szerepel továbbá a nettó- vagy sajátvagyon: (3) VS 0 (T5), valamint az adósság vagy idegenvagyon: (4) VI≥0 (T2, A2), és látható az elıbbiek szerkezete is, hiszen: n
(5) VBR= ∑ Ji=VS+VI=J1+..+Ji+..+Jn=VS+VI≥0. i =1
Tehát az (1) formula mutatja a gazdálkodó t=M idıpontban fennálló anyagi helyzetét. Ugyanakkor az (1) formula egyenlıségének elsı tagja mutatja a bruttóvagyon idıbeli változását is a t=M idıpontig, a t szerinti (0;M] jobbról zárt idıintervallumban: M
(6) VBR= ∑ I(t)≥0. t =1
61 Az (1) formulájú vagyonosztályozási rendszer tehát a (2), (3), (4), (5) és (6) formulák szerint valóban a definíciónak megfelelıen kielégítıen informatív. (B) Most még azt kell megmutatni, hogy a VBR≥0 bruttóvagyon (1) formulával reprezentált vagyonosztályozási rendszere egyben zárt is a gazdálkodóspecifikus gazdasági eseményekre nézve. Definíció szerint valamely vagyonosztályozási rendszert zártnak nevezek a gazdálkodóspecifikus gazdasági eseményekre nézve akkor és csak akkor, ha e gazdasági események bármelyikének bekövetkezésekor vannak a vagyonosztályozási rendszerben az esemény jellegének megfelelı olyan részösszegek, amelyek az esemény elıtti állapothoz képest, az esemény tartalmának megfelelıen, megváltoznak. Mármost a bizonyított T19 tétel szerint: a bruttóvagyon idı-, eszköz- és forrásaspektusú, dinamikus és statikus szerkezeti törvényének (reprezentáns formulája:) M
n
t =1
i =1
(T) VBR= ∑ I(t)= ∑ Ji=VS+VI≥0 érvényességét bármely és bármennyi gazdálkodóspecifikus gazdasági esemény bekövetkezése sem szünteti meg, noha ekkor a gazdasági eseménykoordinátáknak megfelelı végsı vagyonosztályokhoz tartozó részösszegek megváltoznak. Ugyanakkor a (T) formula azonos az (1) formulával, következésképp az (1) formulával reprezentált rendszer zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Megmutattuk tehát, hogy a bruttóvagyon (1) illetve (T) formulával reprezentált vagyonosztályozási rendszer (A) kielégítıen informatív és (B) egyben zárt is a gazdálkodóspecifikus gazdasági eseményekre nézve, azaz: komplett rendszer. Q.e.d. P.: 1./T21/C1, C2, C3, C4, C5; T23, T24, T28. K.: 1./A2, T1, T2, T16/C2, T19. Corollárium 1: A bruttóvagyon I=E=F=…=X≥0 formulával reprezentált explicite N-szeres (N≥ ≥3) vagyonosztályozási rendszere komplett.
Q.e.d. P.: 1./ T23, T24, T25. K.: 1./T21. Corollárium 2: A bruttóvagyon IE=IF=…=IX≥ ≥0 formulával reprezentált implicite N-szeres (N≥ ≥2) vagyonosztályozási rendszere komplett.
Q.e.d. P.: 1./T23, T24, T25, T26, T28. K.: 1./T21. Corollárium 3: Ha a bruttóvagyon osztályozási rendszere (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásból áll, vagy ezek egyikét sem tartalmazza, akkor az ilyen va-
62 gyonosztályozási rendszer inkomplett, bár az E=F≥ ≥0 vagyonosztályozási rendszer zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.
Q.e.d. P.: 1./ T26, T28. K.: 1./T21. Corollárium 4: A vagyon idı-, eszköz- és forrás-aspektusa és az I-E-F aspektus szerinti osztályozása a vagyonosztályozás immanens tulajdonsága, azaz attribútuma.
Q.e.d. P.: K.: T21. Corollárium 5: A mérvadó vagyonaspektusok maximális száma n, és 3
Q.e.d. P.: K.: T21. P P P P P 22. Tétel: Az I =E =F ≥0 vagy az E =F ≥0 formulával reprezentált, a bruttóvagyonból csak a pénzvagyont mutató — pénzforgalmi szemlélető —vagyonosztályozási rendszer inkomplett.
Reprezentálja a VBR≥0 (T1,A2) bruttóvagyon explicit N-szeres (N=3)
vagyonosztályozási
rendszerét
az
M
n
t =1
i =1
∑ I(t)= ∑ Ji=VS+VI≥0
formula. Ez komplett rendszer a T21 tétel szerint. Jelölje a bruttóvagyonból a pénzvagyon nagyságát VPBR≥0 (T1,A2), míg a bruttóvagyon "naturáliákat" tartalmazó rész nagyságát VNBR≥0 (T1,A2). Ekkor nyilván VBR=V M
n
t =1 M
i =1 n
t =1
i =1
P
N
BR+V BR=
M
n
t =1
i =1
∑ I(t)= ∑ Ji=VS+VI≥0,
ahol
(P) VPBR= ∑ IP(t)= ∑ JPi=VPS+VPI≥0 és (N) VNBR= ∑ IN(t)= ∑ JNi=VNS+VNI≥0. Vizsgáljuk meg a pénzvagyon (P) IP=EP=FP≥0 formulával reprezentált vagyonosztályozási rendszerét. Tegyük fel, hogy az M
n
t =1
i =1
(P) VPBR= ∑ IP(t)= ∑ JPi=VPS+VPI≥0 formulával reprezentált vagyonosztályozási rendszer komplett. Kíséreljük meg ezt az állítást bebizonyítani.
63 (A) A komplett vagyonosztályozási rendszer, definíció szerint, kielégítıen informatív és zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Ámde VPBR nem a teljes vagyon nagysága, mert a bármely gazdálkodó gazdálkodására jellemzı gazdasági eseménytípusok sorában mindig van olyan gazdasági esemény, amelynek bekövetkezte nem érinti a gazdálkodó pénzeszközeit, pénzvagyonát (A16) csak más jellegő vagyonrészt. Tehát az ilyen gazdasági esemény hatása nyilván nem mutatkozhat meg a neki megfelelı végsı osztályokat nem tartalmazó P P P I =E =F ≥0 szerinti vagyonosztályozási rendszerben. Ezért igaz, hogy VBR>VPBR, VS>VPS és VI>VPI. Tehát VPBR nem tartalmazP za a teljes bruttó vagyont, V S a teljes sajátvagyont, valaP mint V I nem tartalmazza a teljes idegen vagyont/adósságot. Ugyanis a naturáliákat tartalmazó vagyonrészek és a velük összefüggı források összegei hiányoznak ezekbıl. Következésképpen VPBR a naturáliákban megtestesülı vagyonról (VNBR) és annak saját (VNS) illetve idegen (VNI) forrásáról információt nem képes nyújtani. Tehát az (P) szerinti vagyonosztályozási rendszer nem lehet komplett. M
(B) Továbbá VBR> ∑ I (t) is nyilván fennáll, mert t =1
P
M
∑I
P
(t)
t =1
csak a bruttó pénzvagyon idıbeli alakulását mutatja, a P P P naturáliákét nem (A16). De állítottuk, hogy I =E =F ≥0 szerinti rendszer komplett, azaz a teljes vagyonról informál, ámde nem. Ellentmondásra jutottunk. Következésképpen a kiinduló állításunk ellenkezıje az igaz. Tehát az (A) és (B) részben igazoltuk, hogy a (P) formulával reprezentált vagyonosztályozási rendszer inkomplett. (C) Ugyanakkor az is kimutatható, hogy a (P) formulával reprezentált vagyonosztályozási rendszer nem is zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Ugyanis az, a naturáliákat érintı gazdasági események naturális rész- és fıösszegekre való hatását nyilván nem képes mutatni — minthogy az IP=EP=FP≥0 szerinti rendszerben nincs egyetlen végsı osztály sem az IN=EN=FN≥0 szerinti rendszer végsı osztályaiból. Ámde a minden gazdálkodó gazdálkodására jellemzı gazdasági eseménytípusok sorában, mindig van olyan gazdasági esemény, amelynek bekövetkeztével csak pénzeszközön kívüli eszköz- és/vagy forrásosztály részösszege változik meg (A16). De az ilyen esemény hatása nyilván nem mutatkozhat meg a (P) szerinti pénzforgalmi szemlélető vagyonosztályozási rendszerben. Következésképpen az (P) formulával reprezentált rendszer nem teljesíti a komplettség másik nélkülözhetetlen feltételét sem: nem zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Tehát emiatt is inkomplett. (D) Végül (A) és (C) miatt inkomplett a (P2) n
VPBR= ∑ JPi=VPS+VPI≥0 formulával reprezentált vagyonosztályozási i =1
64 rendszer is, de (P2) hiányossága még az is, hogy a vagyon idıbeli változását a pénzvagyonra sem mutatja. Tehát: az (A), (B), (C) és (D) részben igazoltuk, hogy: Az IP=EP=FP≥0 vagy az EP=FP≥0 formulával reprezentált, a bruttóvagyonból csak a pénzvagyont mutató — pénzforgalmi szemlélető — vagyonosztályozási rendszer inkomplett. Q.e.d. P.: K.: 1./A2, A16, T1, T21. 23. Tétel: Ha a VBR≥0 bruttóvagyon vagyonosztályozási rendszere komplett, akkor van benne idı-, eszköz- és forrásosztályozás.
A VBR≥0 (T1,A2) bruttóvagyon vagyonosztályozási rendszere komplett a feltétel szerint. Ugyanakkor tegyük fel, hogy (H) nincs e rendszerben idı-, eszköz és forrásosztályozás. De ez a (H) feltételezés ellentmond a már bizonyított T21, T21/C1 és T21/C2 tételeknek, melyek szerint egy komplett rendszerben van idı-, eszköz és forrásosztályozás. Tehát a (H) állítás hamis, következésképp a tétel igaz. Q.e.d. P.: K.: A2, T1, T21, T21/C1, T21/C2. 24. Tétel: Ha a gazdálkodó VBR≥0 bruttóvagyonának vagyonosztályozási rendszere komplett, akkor zárt a gazdálkodóspecifikus gazdasági eseményekre nézve.
A feltétel szerint a gazdálkodó VBR≥0 (T1,A2) bruttóvagyonának vagyonosztályozási rendszere komplett (T21 és T21/C1). Ugyanakkor tegyük fel, hogy (H) nem zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. De ez a (H) feltételezés ellentmond a már bizonyított T21, T21/C1 és T21/C2 tételeknek, melyek szerint egy komplett rendszer zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Tehát a (H) állítás hamis, következésképp a tétel igaz. Q.e.d. P.: K.: A2, T1, T21, T21/C1, T21/C2. 25. Tétel: A bruttóvagyon N "serpenyıs" (N≥2) mérlege komplett rendszer.
A bruttóvagyon I(M)=E(M)=F(M)=…=X(M)≥0 formulával (M idıpont és M=1,2,...) reprezentált explicit N-szeres (N≥3) [T21/C1 szerint], illetve az IE(M)=IF(M)=...=IX(M)≥0 formulával reprezentált [T21/C2 szerint] implicit N-szeres (N≥2) vagyonosztályozási rendszere komplett. Ugyanakkor a vonatkozó definíció értelmében a bruttóvagyon N "serpenyıs", vagy másképp: N-szeres (N≥2) mérlegének nevez-
65 zük annak implicite vagy explicite N-szeres vagyonosztályozási rendszerét (valamely M. idıpontban). E definíció alapján, tehát a bruttóvagyon N "serpenyıs" mérlege explicite vagy implicite N-szeres (N≥2) vagyonosztályozási rendszer, és mint olyan, komplett rendszer. Q.e.d. P.: K.: T21/C1, T21/C2. 26. Tétel: Ha egy vagyonosztályozási rendszer komplett, akkor vagy explicit N-szeres (N≥3) és osztályozásai között a dinamikus I és a statikus E és F vagyonosztályozás szerepel, vagy implicit N-szeres (N≥2) és osztályozásai között a dinamikus I-E és I-F összetett vagyonosztályozás szerepel.
Jelölje a vagyonosztályozási rendszert S, aspektusainak számát N, jelölje továbbá a dinamikus idı- és a statikus eszköz- és forrás, valamint a dinamikus idı-eszköz és idı-forrás aspektusú osztályozásokat rendre: I, E, F, illetve I-E és IF. Továbbá, ha a vagyonosztályozási rendszer explicite Nszeres, akkor jelölje ezt Sexpl és Nexpl, míg, ha implicite Nszeres, akkor jelölje ezt Simpl és Nimpl. Igazoljuk az explicit N-szeres (I.) és az implicit N-szeres (II.) esetre külön a tételt. (I.) Ekkor, ha kissé átfogalmazzuk a tételnek ezt a részét és alkalmazzuk a bevezetett jelöléseket, írhatjuk a következıt: (1) Minden komplett Sexpl esetén igaz: Nexpl≥3 és van I és E és F vagyonosztályozása. Állítsuk az (1) tételrész ellenkezıjét: (2) Nem minden komplett Sexpl esetén igaz: Nexpl≥3 és van I és E és F vagyonosztályozása. Vagy másképp: Van olyan komplett Sexpl melyre igaz: vagy Nexpl<3 vagy nincs I vagy nincs E vagy nincs F vagyonosztályozása (a ’vagy’ itt nyilván megengedı és nem kizáró értelemben használt). Ekkor a komplett Sexpl-ben legyen Nexpl<3 és osztályozási rendszere (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásokból álljon, vagy ezek egyikét se tartalmazza. Vagy: legyen Nexpl≥3, de a komplett Sexpl (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásokból álljon, vagy I, E, F egyikét se tartalmazza. Ámde T21/C3 szerint: ha a bruttóvagyon osztályozási rendszere (esetleg más statikus vagyonosztályozások mellett) csak I, vagy E, vagy F, avagy E és F, vagy I és E, vagy I és F aspektusú vagyonosztályozásokból áll, vagy ezek egyikét sem tartalmazza, akkor az ilyen vagyonosztályozási rendszer
66 inkomplett. Ez viszont cáfolja (2) alatti állításunkat, következésképpen az (1) alatti az igaz. (II.) A tétel második része szintén átfogalmazva és a bevezetett jelölésekkel így írható: (1) Minden komplett Simpl implicit N-szeres vagyonosztályozási rendszerére igaz: Nimpl≥2 és van I-E és I-F vagyonosztályozása. Állítsuk az ellenkezıjét: (2) Nem minden komplett Simpl rendszerre igaz: Nimpl≥2 és van I-E és I-F vagyonosztályozása. Vagy másképp: Van olyan komplett Simpl melyre igaz: vagy (A) Nimpl<2 vagy (B) nincs I-E vagy (C) nincs I-F vagyonosztályozása. Ekkor a (2) állítás formálisan így is írható: (3) ∃SimplP(Simpl), ahol P(Simpl)=A∨B∨C, továbbá ahol ’∃’ az egzisztenciális kvantor (jelentése: „van olyan”), míg ’∨’ a diszjunkció (másképp: alternáció), azaz a „megengedı vagy” jele, és P(Simpl)=A∨B∨C az Simpl-re vonatkozó állítás (P=prédikátum). [Pl. A∨B logikai értéke: A∨B igaz, akkor és csak akkor, ha vagy A, vagy B, vagy A is és B is igaz. Az A∨B∨C formulára az igazság kritériuma könnyen kiterjeszthetı, ha átírjuk pl. így: A∨B∨C=(A∨B)∨C]. Mivel A és B és C is egyenként vagy igaz, vagy hamis állítást jelöl (és ezt így jelölhetjük: 1=igaz; 0=hamis), ezért A∨B∨C lehetséges igazságértékeinek száma: 23=8. Azaz: az alábbi, ún. igazságérték-táblázatba foglalva A, B, C jelentéseit és igazságértékeit, ekkor A∨B∨C lehetséges igazságértékeire kapjuk:
Eme — kissé átfogalmazott — állítások közül a 7. bár formálisan igaz, ámde nyilvánvalóan önellentmondást tartalmaz, ezért értelmetlen. A 8. pedig formálisan eleve hamis, tartalmilag viszont pont a II./(1) tételrészt igazolja. Ezért ezekkel nem foglalkozunk. Vizsgáljuk tehát az 1.-6. állításokat.
67 Megállapítható ezekrıl az: vagy I-E nincs, vagy I-F nincs, avagy e kettı közül egyik sincs a komplett Simpl rendszerben. Ámde mindez ellentmond a T21/C2 bizonyított tételnek. A II./(2) állítással ellentmondásra jutottunk, ezért ellentéte a II./(1) állítás az igaz. Megmutattuk tehát, hogy a tételnek mind az I. mind a II. része igaz állítás, következésképp a tétel igaz. Q.e.d. P.: K.: T21/C2, T21/C3 27. Tétel: A bruttóvagyon növekedését és/vagy csökkenését jelentı (0;M] idıintervallumbeli gazdasági események azonos fajta mértékadatainak különbsége (ha a csökkenések negatív elıjelőek, akkor algebrai összege) egyenlı a bruttóvagyon M idıpontbeli statikus osztályozásának fıösszegével.
Az A5 axióma szerint: A vagyonváltozás-osztályban a (0,t] idıintervallumban gazdasági események kapcsán létrejött vagyonnövekedések és csökkenések különbsége (egyenlege) egyenlı a t. idıpontban értelmezett statikus vagyonosztályhoz tartozó összeggel — legyen az akár fı- akár részösszeg. Mivel a feltétel szerint t=M és a vagyonváltozás-osztály a bruttóvagyonhoz tartozó változás-alaposztállyal azonos, ezért, az A5 axiómának megfelelıen, a (0;M] intervallumban történt bruttóvagyon-változások egyenlege egyenlı a bruttóvagyon M. idıponthoz tartozó statikus osztályozásának fıösszegével. Q.e.d. P.: 1./T28, 2./T5 K.: 1./A5. 28. Tétel: A bruttóvagyon E=F≥0 formulával reprezentált inkomplett vagyonosztályozási rendszere (klasszikus mérlege) kompletté tehetı.
A T21/C3 tétel szerint a bruttóvagyon (1) E=F≥0 formulával reprezentált vagyonosztályozási rendszere (klasszikus mérlege) inkomplett, bár zárt a gazdálkodóspecifikus gazdasági eseményekre nézve. Ezért e rendszer kompletté tételéhez, a vonatkozó definíciónak megfelelıen, azt kell csak megmutatni, hogy az (1) formula kielégítıen informatívvá tehetı. Definíció szerint egy vagyonosztályozási rendszer akkor kielégítıen informatív, ha a gazdálkodó adott idıpontbeli anyagi helyzetét, és legalább bruttóvagyonának ezen idıpontig tartó idıbeli változását mutatja. Az világos, hogy az E=F≥0 formulával reprezentált vagyonosztályozási rendszer a statikus anyagi helyzetet a t=M idıpontban mutatja. Ahhoz, hogy komplett is legyen, még legalább
68 a bruttóvagyon idıbeli változását is mutatnia kell a (0,M] idıintervallumban. Ehhez vegyük a (0,M] idıintervallum t. idıpontjaiban (t=1,2,...,M) bekövetkezett összes k. gazdasági esemény (k=1,2,...) azonos típusú A13 szerinti vk(t) mértékadatait (a csökkenéseket negatív elıjellel). A csak strukturáló események mértékadatát viszont nyilván vagy kétszer kell venni ellentétes elıjellel, vagy egyszer sem. Ugyanis a t. fıösszeg ezekre nézve invariáns (T19/C1). E vk(t) vagyonváltozások algebrai összegét, mint az idıaspektusú alaposztály fıösszegét jelölje I. Ekkor I egyenlı a bruttóvagyon t=M idıpontbeli E≥0, illetve F≥0 fıösszegével a T27 szerint, azaz (2) I=E=F≥0. Mivel ezek a vk(t) értékadatok gazdasági események adatai, amelyek a (0,M] idıintervallumba esı idıpillanatokban következtek be, ezért e vk(t) összegek, a (t-1;t] idıszakokra (t=1,2,..,M) bontott (0,M] idıintervallum megfelelı idıosztályának I(t) részösszegét változtató értékek A5 szerint. Ekkor I(t) [t=1,2,..,M] egyenlı a t. idıponthoz tartozó vk(t) értékek algebrai összegével (A5), I pedig egyenlı az I(t)-k öszM
szegével A4 szerint. Így igaz
∑ I(t)=I
és ezért ismét (2)
t =1
I=E=F≥0, ami viszont már nyilván egy explicite N-szeres (N=3) komplett rendszer a T21 szerint. De az egyes idıosztályok I(t) részösszegéhez (t=1,2,..,M) tartozó vk(t) összegek besorolhatók, ha az i. eszközfajta (i=1,2,...,n) változását idézte elı a gazdasági esemény, akkor az i. eszközosztály (eszközfajta) ei(t) részösszegét változtató összegként. Ekkor ei(t) [i=1,2,...,n; t=1,2,..,M] egyenlı a hozzá tartozó vk(t) értékek algebrai összegével szintén A5 szerint. Továbbá az egyes idıosztályok I(t) részösszegéhez (t=1,2,..,M) tartozó vk(t) összegek besorolhatók, ha a j. forrásfajta (j=1,2,...,p) változását idézte elı a gazdasági esemény, akkor a j. forrásosztály (forrásfajta) ƒj(t) részösszegét változtató összegként. Ekkor ƒj(t) [j=1,2,...,p; t=1,2,..,M] egyenlı a hozzá tartozó vk(t) értékek algebrai összegével A5 szerint. Most az ei(t)-k i és t szerinti, az ƒj(t)-k j és t szerinti A5 és T27 szerint) kapjuk a összegzésével (A4, M
VBR(M)=
n
M
p
ei(t)= ∑ ∑ ƒj(t)≥0 ∑∑ i =1 t =1
t =1
formulát, ami viszont már egy
j =1
implicite N-szeres (N=2) komplett rendszer a T21/C2 szerint. Q.e.d.
69 Ezzel nem csak a tétel bizonyítását adtuk meg, hanem a kompletté alakítás eljárási módját is (ami kapóra jöhet egy szemfüles szoftverkészítınek, feltéve, hogy észleli ezt az információt ☺). P.: K.: 1./A4, A5, T19/C1, T21, T21/C2, T21/C3, T27. Az anyagi helyzet törvénye M
29. Tétel: A VBR(M)=
n
∑∑ t =1
M
Ji(t)=
i =1
∑
VS(t)+A(t)≥0, (ahol VBR(M)=
t =1
M
n
t =1
i =1
∑ ∑ J (t) i
A(t)≥0 és
VS(t) 0; és t=1,2,…,M; i=1,2,…,n) formula az anyagi helyzet törvénye. Jelentése: Az embernek, és minden más gazdálkodónak születésétıl a haláláig tartó léte minden t. idıpillanatában (1) vagy van bruttóvagyona [VBR(t)>0], de akkor van adóssága is [A(t)>0], (2) mely utóbbi, jó esetben, jelentısen kisebb, rossz esetben nem, sıt nagyobb, mint a bruttóvagyona, (3) vagy nincs sem vagyona [VBR(t)=0], sem adóssága [A(t)=0] (ekkor nincstelen); (4) vagy ennél is rosszabb a helyzete: csak adóssága van [VBR(t)=0, A(t)>0] (ekkor ı a nincstelen adós). (5) És más eset nem lehetséges. (6) A gazdálkodó anyagi helyzete, annak valamelyik tényezıje idıben mindig változik, akár folytatja gazdálkodását, akár magára hagyja a vagyonát, ezért (7) vagyona, mint anyagi helyzetének egyik fı tényezıje n (n≥3), azaz legalább idı, eszköz és forrás aspektusból vizsgálható és vizsgálandó.
Az anyagi helyzet törvényének matematikai modelljét a következı formula adja: M
VBR(M)= ∑ M
VBR(M)= ∑ t =1
t =1 n
n
M
i =1
t =1
∑ Ji(t)= ∑ VS(t)+A(t)≥0
∑ Ji(t)
és
A(t)≥0, illetve VS(t) 0 (ahol t=1,2,...M;
i =1
i=1,2,...,n). A jelöléseket felhasználva az (1)-(7) állítások igazságát kell megmutatni. (1) Mármost, ha a gazdálkodónak valamely t. idıpontban (t=1,2,..,M) van vagyona (azaz VBR(t)>0 T1 szerint), akkor van adóssága is (A7) és A(t)>0 T2 szerint. Az (1) állítás tehát igaz. (2) Ha a gazdálkodónak van vagyona és így adóssága is (1) szerint, akkor e kettı viszonyára igaz: VBR(t) A(t)>0 a T1, T2 és T3 szerint. A (2) állítás tehát igaz. (3) De van olyan helyzet, hogy valamely gazdálkodónak egy t. idıpontban — még vagy már — sem vagyona, sem adóssága nincs, azaz: VBR(t)=0 és A(t)=0 A2 és A7 szerint. (Ekkor ı nincstelen.) Tehát a (3) állítás is igaz. (4) De lehet olyan t idıpont is, amikor a gazdálkodónak nincs bruttóvagyona (azaz: VBR(t)=0 A2 és A7 szerint), ámde adóssága van (azaz: A(t)>0 A7 és T2 szerint). (İ a nincstelen adós.) Ekkor viszont sajátvagyona negatív [azaz: ha
70 VBR(t)=VS(t)+A(t)=0 és A(t)>0 A2 és A7 szerint, akkor A(t)=VS(t)>0 T5 szerint. Tehát a (4) állítás is igaz. (5) És más eset nem lehetséges (A7). Azaz az (5) állítás is igaz. (6) A gazdálkodó anyagi helyzete és minden tényezıje idıben mindig változik, akár folytatja gazdálkodását (T20/C1), akár magára hagyja vagyonát (T15/C) [tehát (6) igaz], és (7) vagyona, mint az anyagi helyzetének egyik fı tényezıje n (n≥3), azaz legalább idı, eszköz és forrás aspektusból vizsgálható és vizsgálandó — T16/C3 szerint. Tehát (7) igaz. (1)-(7) részekbıl mindösszesen folyik a tétel igazsága. Q.e.d. P.: K.: A2, A7, T1, T2, T3, T5, T15/C, T16/C3, T20/C1.
2. Az általános és a vagyonkönyvvitel elméletének alapelemei 2.1 Princípiumok 2.11 Vagyonkönyvviteli definíciók 2.111 Az általános könyvvitel fogalmai
1. Esemény adatszerkezete alatt egy rendezett adat-n-est vagy a következı n elemő (n≥4) sorvektort értek:
esemény _ idıdıpontjja esemény _ neve _(leírása) esemény _ mennyiségi _ adata esemény _( pénz)érték _ adata ... ... ... x
e*
a1 a 2 a 3 a4 = ... ... ... a k
*
= a (e)*
2. Bizonylatolt esemény az esemény megtörténtét igazoló okirat (a bizonylat62) adatsora vagy másképp: adatvektora. Az ilyen adatvektor szerkezetét mutatja a következı formula:
62
Megtörtént jogi és gazdasági értelemben egyaránt.
71 *
a1 a 2 a 3 a4 = a 5 ... ... a k
*
e b
esemény _ id›pontja bizonylat _ azonosítója esemény _ neve _(leírása) esemény _ mennyiségi _ adata esemény _( pénz)érték _ adata ... ... x
= a(
)*
3. Explicite kronologikus egy nyilvántartás (adatbázis), ha a tételei (rekordjai) idıadataik révén sorbarendezettek, különben implicite kronologikus. 4. Lekérdezés eredménye az egy kimutatás, amely adott nyilvántartás (adatbázis) adataiból valamely szempont szerint készült. 5. Könyvvitel az n aspektusú (n≥2) dinamikus vagy dinamikus és statikus mérleget meghatározó események adatvektoraiból álló (explicite vagy implicite) kronologikus nyilvántartás (adatbázis) és bármely lekérdezésének eredménye. 6. Könyvviteli eseménynek nevezem a bizonylatolt valódi vagy nem valódi esemény könyvvitelben feljegyzett adatvektorát, mely kiegészült az esemény koordinátáival. Az ilyen adatvektor szerkezetét mutatja a következı formula:
esemény _ idıdıpontjja bizonylatának _ azonosítója esemény _ neve _(leírása) esemény _ koordinátá i esemény _ mennyiségi _ adata esemény _( pénz)értéke ... x
*
*
a1 a 2 a3 a4 = = a (ke)* a5 a 6 ... a k
7. Absztrakt eseménynek fogom nevezni azt az egyelemő sorvektort, (vagy másképp: adat-1-est), amely — a bizonylatolt esemény, vagy a könyvviteli esemény minden más adattípusától elvonatkoztatva — mindössze csak az a3 adattípust [„esemény neve (leírása)”] tartalmazza. 8. Szabványos eseménynek nevezem az olyan absztrakt eseményt, amelyet, mint eseménynevet, a könyvvitelben a neki megfelelı konkrét könyvviteli esemény szabatos „megnevezésére” [azok a3 adattípusa helyett] kötelezı használni. A szabványos eseményeket az absztrakt eseményekbıl tipizálással ké-
72 pezzük úgy, hogy egyedei formálisan is (azaz: az esemény neve vagy leírása szavait és azok sorrendjét tekintve) és tartalmilag is (azaz: az esemény neve vagy leírása jelentését tekintve) mind különböznek egymástól és értelmes (másképp: reális) az eseménykoordináta-n-esük. 9. Hibás könyvviteli nyilvántartás az, amelyben egy vagy több könyvviteli esemény egy vagy több, vagy minden adata nem egyezik a valósággal. 10. Könyvviteli deriváltnak nevezem a következı (F) formulá’ ’ val (F) yi’*=[y1,y2,...yk]i’=oi*=ϕ (xi)=ƒ (ei)63 megadott két ’ ’ ’* ’* (F1) yi =ϕ (xi), illetve az (F2) yi =ƒ (ei) függvényt, ahol i=1,2,...,n az ei szabványos események száma; k (1≤k≤N-1 és k,N egészek) a lehetséges osztályozási aspektusok száma (idıaspektus nélkül, melyet az esemény kelte ad). E formulákban az [y1,y2,...yk]i’=oi* vektor mutatja — egyértelmő hozzárendelés az ei→yi’*=[y1,y2,...yk]i’=oi* ’ alapján — az ei szabványos eseményhez, mint ƒ argumentumához tartozó yi’*=[y1,y2,...yk]i’ eseménykoordinátákat, mint kontírozási összefüggést, vagy másképp nevezve: az ’ osztálykoherencia k elemő vektorát. Továbbá: E az ƒ függvény értelmezési tartománya [ei∈E (i=1,2,...,n)], azaz: a ’ ƒ lehetséges bemeneteinek (a lehetséges szabványos eseményeknek) a halmaza, míg a ϕ’ függvény I értelmezési tartománya az ei szabványos események i∈I sorszámainak halmaza; és fennáll az i=xi↔ei hozzárendelés lehetısége. ’* ’ yi =[y1,y2,...yk]i =oi* pedig (i=1,2,...,n) az (F1) és (F2) függvények azonos Y’=O értékkészlete (yi’*∈Y’, oi*∈O) vagyis a lehetséges kontírozási összefüggések, vagy másképp osztálykoherenciák, azaz kimenetek halmaza. 11. Az absztrakt automata (jelölje Α) a valódi automata egy modellje. [Megjegyzések: E modell lehet matematikai (algebrai), vagy geometriai (csúcsokból és a csúcsokat összekötı irányított élekbıl felépülı gráf). Az absztrakt automata megadása történhet algebrai formulával, módosított Cayley-féle64 táblázattal és az említett irányított (élekkel bíró) gráffal.] 12. Mealy-féle absztrakt automatának nevezzük az (a1) ΑM=〈A,X,Y,δ,λ〉 szimbólumokkal jelölt rendszert — mint rendezett 5-ösbıl álló matematikai (algebrai) modellt. Ebben az A, X és Y szimbólum legalább egy elemő, azaz nem üres halmazokat, a δ és λ szimbólum az A×X szorzathalmazon,
63
A könyvviteli derivált fogalmának, funkciójának és képzésének további részletes kifejtése, példákkal együtt, olvasható könyvem elsı része IV. fejezetének 2.2 pontjában. 64 Cayley ejtsd: Kéli.
73 azaz az 〈a,x〉 (a∈A,x∈X) rendezett párok halmazán értelmezett δ:A×X→A és λ:A×X→Y függvényeket jelöl, ahol: M − A az Α automata által felvehetı állapotok halmaza, és a∈A ennek egy állapota; M − X az Α automata által értelmezhetı bemenıjelek halmaza, és x∈X egy bemenıjel; M − Y az Α automata által kiadható kimenıjelek halmaza, és y∈Y egy az automata által kibocsátható kimenıjel; Az ΑM automata mőködését a δ és λ függvények adják meg: − az automata állapotváltozásait a bemenıjelek szerint meghatározó kétváltozós ún. átmeneti függvény, azaz az (a2) δ(a,x)∈A − míg kimenıjeleit (ha az automatatípus bocsát ilyent ki) az automata kétváltozós ún. kimeneti függvénye, azaz (a3) λ(a,x)∈Y adja meg. Megjegyzések: M Egy ilyen Α automata, A-véges, ha állapothalmaza véges, és véges, ha mindhárom halmaza véges. Teljesen definiált az ΑM automata, ha δ és λ függvények minden 〈a,x〉 (a∈A,x∈X) rendezett párra értelmezve vannak, ellenkezı esetben parciális automatáról beszélünk. Determinisztikus az ΑM automata, ha δ és λ egyértékő függvények, egyébként nem determinisztikus. Az általunk vizsgált automaták mind teljesen definiált és M determinisztikus Α automaták. Ezen ΑM automaták mőködésérıl feltesszük még, hogy diszkrét idıskálában mőködnek, azaz csak meghatározott, egymástól elkülönített idıpontokban kaphatnak bemenıjelet és bocsáthatnak ki kimenıjelet65. Eszerint, ha az ΑM automata valamely idıpillanatban az a∈A állapotban van, és ekkor kap egy x∈X bemenıjelet, akkor a δ(a,x)∈A állapotba kerül és egy λ(a,x)∈Y kimenıjelet bocsát ki (feltéve, hogy nem kimenıjel nélküli automata). Az ΑM automata eme mőködését az alábbi a2. ábrán látható sémával szemléltethetjük:
65
Peák István: Bevezetés az automaták elméletébe I. 8. oldal.(Tankönyv Kiadó, Budapest, 1977.) [34].
74
Az a2. ábra [a,b] vízszintes nyila az automata állapotváltozását mutatja az x bemenıjel (felsı függıleges nyíl) hatásaként (az automata a-ból b állapotba kerül). Az alsó függıleges nyíl pedig a kimenıjel kibocsátását jelzi. 13. Azt a speciális absztrakt automatát, amelynél az A állapothalmaz egyetlen elemő (jelölje ezt: A=1) memória nélküli (állapotmemória nélküli) Mealy-féle automatának nevezik (jelölje: ΑMA1). Az ΑMA1 automata egyetlen állapota az, hogy „mőködik” — azaz bemenıjelet fogad és azonnal kimenıjelet küld. Ennek átmeneti függvénye tehát: (a4) δ(a,x)=a, azaz az automata állapota nem változik meg az x bemenıjel hatására, attól nem függ. Belátható, hogy az y kimenıjel az ΑMA1 automatáknál, (a4) miatt, csak a bemenıjeltıl függ, ezért a kimeneti függvénybıl a egyszerően el is hagyható: (a5) λ(a,x)=λ(x)=y. M Az Α A1 (állapot)memória nélküli, Mealy-féle, véges absztrakt automata tehát a következıképpen is definiálható: (a6) ΑMA1=〈A,X,Y,λ〉, ahol x∈X; y∈Y és A=1. Az (a6) algebrai modellben viszont elınyös az, hogy még tovább egyszerősíthetı. Elhagyható belıle minden, a kimeneti függvény kivételével, mert ΑMA1 voltaképpen megfelel az ismert egyváltozós y=ƒ(x) formulának, melynek X az értelmezési tartománya és Y az értékkészlete, azzal az apró eltéréssel, hogy esetünkben az X és Y halmaz is véges, azonos számosságú halmaz, következésképpen a függı és független változó csak diszkrét értéket vehet fel. Vagyis ΑMA1 ekvivalens a következı (a7) yi=ƒ(xi) formulával, ahol i=1,2,...n és xi∈X; yi∈Y.
75
Továbbá: esetünkben az ΑMA1 modell függı változója célszerően legalább két elemő vektorral66 írandó majd fel, ezért a modell kicsit módosul: (a8)
yi=ƒ(xi),
ahol i=1,2,...n; és yi szám-n-est (a hagyományos könyvvitelben szám-2-est), xi pedig szabványos esemény nevét vagy leírását tartalmazza — voltaképpen „szövegváltozó”. Mindazonáltal az ΑMA1 automatánk összefoglaló jelölése: ΑMA1=〈A,X,Y,λ=yi=ƒ(xi)〉, (a8’) ahol xi∈X; yi∈Y és yi egy szám-n-es (i=1,2,...n), valamint A=1. 14. Absztrakt kontírozó (másképp: eseménykoordinátakijelölı) automatának nevezem a könyvviteli derivált yi’*=[y1,y2,...yk]i’=oi*=ϕ’(xi)=ƒ’(ei) valamelyik [az ’* ’* ’ ’ yi =ϕ (xi) vagy az yi =ƒ (ei) (i=1,2,...,n)] függvényével megadott ún. memória (állapotmemória) nélküli, véges és diszkrét Mealy-féle67 absztrakt automatát, amely az ei eseménykoordinátáit bármely i-re meghatározó valódi kontírozó automata modellje.
2.112 A vagyonkönyvvitel fogalmai68
1. Nem valódi gazdasági esemény az anyagi helyzet pusztán könyvvitel-technikai okokból kimutatott, látszólagos változása. 2. A vagyonkönyvvitel az a speciális könyvvitel, amely n aspektusú (n≥2) dinamikus vagy dinamikus és statikus vagyonmérleget határoz meg. 3. A valóság aberrációja alatt a gazdálkodó leltár szerinti, valamint a leltározott idıszakban bekövetkezett gazdasági 66
E vektornak nincs geometriai értelmezése! A Mealy-féle absztrakt automatákról bıvebb információ olvasható még könyvem elsı része IV. fejezetének 3.2 pontjában is. 68 Az általános és a speciális könyvvitelek fogalmai e ponton elkülönülnek egymástól. A speciális könyvvitelek csoportosíthatók aszerint, hogy a könyvelés bizonylatokon alapul-e vagy sem, vagy aszerint, hogy az alaphalmaz elemeinek mennyisége, avagy az elemek valamely pozitív együtthatójú lineáris transzformáltjának értéke nem lehet negatív, avagy negatív értéket is felvehet. Ez utóbbi könyvvitelosztálynak a bizonylatokon alapuló könyvviteli alosztályába tartozó egyik speciális könyvvitele az e könyvben tárgyalt vagyonkönyvvitel is (erre van egy példa az 1. Függelékben). Valamint ide tartozik például a telefonszámok nyilvántartása (könyvvitele – ennek bizonylatai a szolgáltatási szerzıdések), a könyvtári kölcsönzés könyvvitele (bizonylatai a kölcsönzési jegyek), stb. A nem bizonylaton alapuló csökkenést nem tartalmazó könyvvitelek alosztályába tartozik például a speciális könyvvitelek közül az iskolai tudás könyvvitele (ennek kronologikus adatbázisa az osztálynapló és tudásmérlegre vezet – ld. 2. függelék), vagy például a havi telefonhívások költségének könyvvitele (ez pl. idı-hívó számok-hívott számok-mobil-vonalas-aspektusú mérlegre vezet – ld. 3. függelék), vagy a futballban a piros-sárga lapok könyvvitele ☺. 67
76 események szerinti, azaz: „eredeti” anyagi helyzete fıbb tényezıinek bármely okból bekövetkezı eltérését értem. 4. Absztrakt könyvelıautomatának nevezem azt a többféle, memória nélküli véges és diszkrét Mealy-féle absztrakt automatából összetett absztrakt automatát, mely a j-ik könyvviteli esemény (j=1,2,...,m) adatait adó valós könyvelıautomata egy lehetséges modellje, a következı alakban: [yj’*,zj*,cj*,ei]j=[ƒj’(ei), gj(ei),cj*,ei]j ahol: − yj’*=[y1,y2,...yk]j’=ƒj’(ei) a könyvviteli deriváltat az ei helyen (az ei szabványos gazdasági eseménynél) adó absztrakt kontírozó automata, − zj*=[z1,z2,...zo]j=gj(ei) az egyéb, ei-tıl függı „metaadatok” vektorát szolgáltató absztrakt automata. [Ebbıl lehet több is! Például gj1ÁFA(ei) lehet mondjuk az absztrakt ÁFA-automata; és gj2q(ei) lehet a mennyiségi egység absztrakt automatája, stb.], − cj*=[c1,c2,...,cr]j az explicite adott konkrét bizonylatolt eseményadatok (mint például idıpont-, bizonylatazonosító, pénzösszeg-, mennyiségadat, stb.). A futóindexek jelentése, értékei: − i=1,2,...,n, a szabványos gazdasági esemény, míg j=1,2,...,m az idıszak konkrét bizonylatolt gazdasági illetve könyvviteli eseményeinek sorszáma, − k=1,2,...,l a kontírozási összefüggés, avagy az osztálykoherencia elemeinek idı nélküli vagyonaspektusokkal egyezı, − o=1,2,...,p a zj* sorvektor elemeinek, − r=1,2,...,u pedig az cj* konkrét bizonylatadat-sorvektor elemeinek a száma. 5. Absztrakt (forgalmi és egyenlegadat) lekérdezı automatának nevezem azt a két független bemenető és egy kimenető, móK dosított Mealy-féle iniciális automatát (jelölje Λ ), mely az E vagy F osztályozás szerinti S={s} azonosítószámú vagyonfajta (hagyományosan az s „fıkönyvi számla”) forgalmi és egyenlegadatait az R könyvviteli adatbázisból lekérdezı valós automatát modellezi, s melyet az alábbi a3. ábrán látható séma vázlatosan szemléltet:
Ezen lekérdezı automatát szimbolizálja a
ΛK=〈A,a0,S,R,Y,δ,λ〉
77
rendezett 7-es, mint algebrai modell, ahol: − A az ΛK automata állapothalmaza, mely az aj∈A állapotvektorokból áll, ahol j=0,1,2,...m; − a0∈A állapotvektor, az ΛK kezdı állapotvektora; K − S={s} az Λ 1. számú bemenıjel-halmaza, mely az R adatbázison lekérdezendı s vagyonfajta (hagyományosan s könyvviteli számla) azonosítóját (pl. számlaszámát), az s bemenıjelet tartalmazó egyelemő halmaz; − R az ΛK 2. számú bemenıjel-halmaza, mely az rj*=rj*(cj*,ei)∈R (j=1,2,...m; i=1,2,...n) sorvektorokból, mint bemenı „szavakból” áll, és rj* nem más mint az R könyvviteli adatbázis könyvviteli eseményei közül a jiket cj* és ei szerint (vö. 4. def.) leíró adatrekord; − Y az ΛK kimenıjel-halmaza, m elemő és yj*∈Y kimenı sorvektorokból áll, ahol j=1,2,...m; − δ(aj,rj*)∈A az ΛK kétváltozós átmeneti függvénye, mely azt adja meg, hogy, ha az ΛK automata az aj állapotban kap egy rj* bemenı szót, akkor melyik lesz a soron következı állapota; K − λ(aj,rj*,s)=yj*∈Y az Λ háromváltozós kimeneti függvénye, mely azt adja meg, hogy, ha az ΛK automata az aj állapotban kap egy rj* bemenı szót és egy s bemenı jelet, akkor milyen kimenı jelet ad ki. K Az Λ lekérdezı automata további jellemzıi:
Az a0∈A az automata kezdı állapotvektora, és értéke mindig a nullvektor (a0=0), melybe ΛK azonnal visszatér, mihelyt az automata az m-ik állapotán túljutott. Ezt az automata δ átmeneti függvénye biztosítja. Az aj=[aj1,aj2,aj3]*∈A állapotvektor egy szám-3-as. Elemei: aj1 értéke a tartozik adatok j-ig kumulált összege (aj1=T); aj2 értéke a követel adatok j-ig kumulált összege (aj2=K); aj3 értéke a j-ig számított egyenleg (aj3=E=T+K; ahol T≥0 és K≤0). Az R könyvviteli adatbázis az rj*=rj*(cj*,ei)∈R könyvviteli adatrekordok halmaza. Egy rekord elemszáma: v=(l+p+u)+1. Az yj* sorvektor, mint kimenı „szó”, pedig nem más mint az R könyvviteli adatbázis gazdasági eseményenkénti lekérdezésével (szőrésével) nyert j. adatok yj* kimenı sorvektora. Legyen ez most 9 elemő. Elemei yj*=(yj1,yj2,yj3,yj4,yj5,yj6,yj7,yj8,yj9)*, és rendre az s azonosítójú vagyonfajta (hagyományos könyvvitelben az s számla) következı adatait tartalmazza: 1.) a vagyonfajta (számla) s azonosító adata; 2.) esemény dátuma (D), 3.)
78 esemény bizonylatszáma (B) 4.) esemény neve (N), 5.) tartozik rovaton esetleg lévı összege: T≥0, 6.) tartozik forgalom összesen (ST) 7.) követel rovaton esetleg lévı összege: K≥0, 8.) követel forgalom összesen (SK) 9.) az egyenleg összege: E=ST+SK. (Megjegyzendı, hogy egy yj* sorvektorban nyilván, vagy csak a tartozik, vagy csak a követel rovaton lehet nullától különbözı szám!) Az ΛK lekérdezı automata kétváltozós átmeneti függvényének alakja: (a17)
δ(a0,s)=a1
(a17’)
δ(aj,rj*) =
a j+1 ha 1 ≤ j < m a 0
ha
j= m
(j=1,2,...m).
ΛK háromváltozós kimeneti függvénye pedig: (a18)
λ(aj-1,rj-1*,s)=yj*.
Az ΛK automata voltaképpen egy ún. szekvenciális gép (ld. a mőködését szemléltetı irányított gráfot: a4. ábra), amely, ha az s bemenıjelet megkapja, azonnal kimozdul az a0∈A kezdıállapotából, s felveszi az a1 állapotot, majd az r1*,r2*,...,rj*,...,rm* bemenıjelek (rj*∈R) hatására, ΛK minden következı idıpillanatban sorban felveszi az a2,...aj,...am-1∈A közbülsı állapotokat, és rendre kibocsátja az yj*∈Y sorvektorokból álló kimenıjeleket (j=1,2,...m-1), végül az am állapot felvétele után, az rm* bemenıjel hatására kibocsátja az ym*∈Y utolsó kimenıjelet, majd az a0∈A kezdıállapotába tér vissza. A kimeneti függvény konkrét alakját az alábbiakban határozhatjuk meg: Tegyük fel, hogy az rj* könyvviteli adatrekord 6 elemő. Elemei: rj*=[rj1=D,rj2=B,rj3=N,rj4,rj5,rj6], és rendre az 1. esemény idıpontja (D), 2. az esemény bizonylatszáma (B), 3. az esemény neve (N), 4. tartozik vagyonfajta (számla) sorszáma (rj4), 5. követel vagyonfajta (számla) sorszáma (rj5), 6. vagyonváltozás pénzösszege (rj6) adatot tartalmazzák. Legyen továbbá Its egy indikátorfüggvény, melynek értéke 1, ha s azonos az xj4-beli tartozik vagyonfajta (számla) számával, egyébként pedig 0; és legyen Iks egy másik indikátorfüggvény, melynek értéke -1, ha s azonos az xj5-beli követel vagyonfajta (számla) számával, egyébként meg 0. Legyen még az s vagyonfajta (számla) tartozik-összege T=Its⋅xj6, követel-összege pedig K=Iks⋅xj6, (j=1,2,...m). A tartozik forgalom summája legyen:
79 ST=aj1=aj-1,1+T (j=1,2,...m). A követel forgalom summája legyen: SK=aj2=aj-1,2+K (j=1,2,...m). Elıbbiek felhasználásával az aj3 (j=1,2,...m) állapotváltozó, mint egyenleg-memória értéke legyen: (j=1,2,...m). E=aj3=aj-1,3+(T+K) Az yj* kimenıjelek értékei (a22)
yj*=[s,D,B,N,T,ST,K,SK,E]
(j=1,2,...m).
Az Λ iniciális, módosított Mealy-féle automata mőködési sémáját szemléltetı irányított gráf (a4. ábra): K
6. Összesítı kimutatást (hagyományosan fıkönyvi kivonatot) FK jelő és a kölekérdezı absztrakt automatának nevezem a Λ vetkezık szerint módosított iniciális Mealy-féle absztrakt automatát: Az ΛFK absztrakt automata a lekérdezı folyamat közben kimenıjel nélküli ún. módosított Rabin-Scott-féle absztrakt automata. Ez azon valós automata modellje, amely csak az F={am} végállapotában ad kimenıjelet, egyébként nem, és amelynek kimenıjele az s1,s2,...,sp azonosítószámú, p darab, E ill. F osztályozású összes vagyonelem-osztály (hagyományos könyvvitelben „fıkönyvi számla”) összesítı (másképp: „fıkönyvi”) kivonata. Az ΛFK automata formulája tehát: ΛFK=〈A,a0,S,R,Y,αs,δ,λ,F〉 rendezett 9-es, ahol - A az automata közbülsı állapotainak halmaza, vö. a 4. és 5. definícióval, - a0 kezdı állapotvektor, vö. a 4. és 5. definícióval, - S={s1,s2,...,sk,... sp} p darab, az E és/vagy F osztályozású összes vagyonelem osztály(számla) azonosítószámainak 1. sz. bemenıjel halmaza, - R könyvviteli adatbázis, mint 2. sz. bemenıjel halmaz, vö. az 5. definícióval; - Y={λ(am,rm*)=y*} az ΛFK egyetlen kimenıjel-vektorból álló halmaza,
80 - αs(a0,sk+1)=sk (k=0,1,2,...,p-1) a soron következı s bemenıjel értékét megadó bemeneti függvény, mely valaFK hányszor elızıleg az Λ automata az a0 állapotban volt vagy került, sk értékét meghatározza, - δ vö. az 5. definícióval, - λ ld. az 5. definíciót. FK végállapotának egyelemő halmaza. - F={am} az Λ Így az Λ automata az E és/vagy F osztályozású S={s1,s2,...,sk,...,sp} azonosítószámú vagyonelemek (hagyományos könyvvitelben számlák) „fıkönyvi” kivonatának adatsorait adja meg az R könyvviteli adatbázison. Az ΛFK mőködését az a5. ábra szerinti séma mutatja: FK
2.12 A vagyonkönyvvitel axiómái 2.121 A bizonylati elv
1.Minden gazdasági eseményt bizonylat adatai alapján könyvelünk (A1). P.: 2./T1. 2.122 A valódiság-valótlanság dilemma eldönthetetlenségének általános könyvviteli alapelvei
2.Az ellenırizetlen könyvvitel hibás voltának valószínősége (p’) — egy adott idıpontban — mindig nagyobb, mint nulla és kisebb mint 1 (0
81 P.: 2./T4. 4.A leltár(bizonylat) bármely adata vagy megegyezik, vagy nem egyezik meg a neki megfelelı való esemény hozzáillı adatával, azaz: vagy valós, vagy nem — akár hibátlan a leltár felvétele, akár nem — e probléma megfelelı ellenırzés, vagyis a való esemény adatával történı egybevetés nélkül eldönthetetlen (A4). P.: 2./T4. 2.123 Az inadekvát ellenırautomaták elve
5.Önmagában az E=F és/vagy a ∑t=∑k formula alapján a vagyonkönyvvitel hibátlan voltát sem bizonyítani, sem cáfolni nem lehet (A5). P.: 2./T4. 2.124 Az absztrakt események gazdálkodóspecifikusságának elve
6. Minden gazdálkodóhoz egyértelmően hozzátartozik egy, az anyagi helyzete lehetséges változásainak meghatározására alkalmas és páronként különbözı absztrakt gazdasági eseményekbıl álló véges halmaz (A6). P.: 2./T5.
2.2 Tételek és bizonyítások Ekvivalencia és izomorfia 1. Tétel: A gazdasági és a neki megfelelı könyvviteli esemény adatvektora, a gazdálkodó anyagi helyzetének változását jellemzı adatai tekintetében ekvivalens (2./T1).
Jelölje gi az i. gazdasági esemény adatvektorát (i=1,2,..,n). De ezeket csak bizonylatok alapján könyveljük (2./A1), ezért jelölje bi az i. bizonylatolt gazdasági esemény, ki pedig az i. könyvviteli esemény adatvektorát (ld. a definíciókat). A bi vektor — az adatok tartalmát tekintve — csak a "bizonylatazonosító" a2(bi) adatában tér el a gi vektortól (ld. a vonatkozó definíciókat és alább az e1. ábrát). A bizonylatazonosító adatra viszont az anyagi helyzet változásának jellemzése tekintetében nincs szükség, ezért ettıl az adattól gi és bi tartalmi összehasonlításakor elvonatkoztathatunk — mintha nem is lenne. Következésképpen az anyagi helyzet változásának jellemzése tekintetében igaz, hogy gi≡bi, azaz e kettı vektor ezen aspektusból ekvivalens (’≡’ az ekvivalencia jele). Viszont ki csak az "eseménykoordináták" (a4) adatában tér el gi-tıl és bi-tıl. Ez az adat azonban, gi és bi többi adatával egybevetve, nyilván nem más, mint bi és ki a3 adatának, illetve gi a2 adatának, az ún. "esemény neve (leírása)" ver-
82 bálisan megadott adatnak a formalizált változata, azaz az "eseménykoordináták" adat, definíció szerint. Azt is megállapíthatjuk, hogy mind a verbális a2(gi), a3(bi) és a3(ki), mind a formalizált a4(ki) a megváltozó végsı vagyonosztályokat és változásuk jellegét (növekedés vagy csökkenés vagy struktúraváltás) jelöli meg. Következésképp ezen adatok tartalmilag ekvivalensek (1./A14). [Az a3(ki) adat tulajdonképpen csak az esemény ellenırzése és verbális megjelölés — "megnevezése" — céljából van ki-ben is.] Ugyanakkor az a2(ki) "bizonylatazonosító" adattól, a már említett ok miatt, itt is elvonatkoztathatunk — mintha nem is lenne. Tehát az adatszerkezetek tartalmi összehasonlításával kapjuk: Adat tartalma [idıpont] [eseménynév]
gi
bi
a1(gi)≡a1(bi)
a2(gi)≡a3(bi)
bi és és
ki
a1(bi)≡a1(ki),
a3(bi)≡a3(ki)≡a4(ki),
[mennyiség]
a3(gi)≡a5(bi)
és
a4(bi)≡a5(ki),
[pénzérték]
a4(gi)≡a6(bi)
és
a5(bi)≡a6(ki),
e1. ábra Vagyis: az anyagi helyzetet befolyásoló adattartalom alapján fennáll: gi≡bi és bi≡ki. De ekkor igaz: gi≡ki, mert az ekvivalencia tranzitív. Q.e.d. P.: 2./T6. K.: 1./A14, 2./A1. 2. Tétel: A vagyon könyvvitelében a gazdasági eseményeknek és a gazdasági események kapcsán létrejött vagyonnak és adósságnak, illetve ezek osztályozási rendszerének a közvetett képe jelenik meg könyvviteli események formájában, illetve könyvviteli események által (2./T2).
Legyen E a vagyon és az adósság fıösszegét változtató és ezek vagyonosztályozási rendszerét felépítı (1./T20/C7) ei∈E (i=1,2,...,m) gazdasági események — adott idıszakban mindig — véges és nem üres halmaza. Jelöljön továbbá bi egy bizonylatolt gazdasági eseményt, és legyen B a bizonylatolt gazdasági események szintén véges és nem üres halmaza, ahol bi∈B. Jelölje még K a könyvviteli nyilvántartásban szereplı ki∈K könyvviteli események véges, nem üres halmazát. Most rendeljük hozzá adott szabály szerint a gazdasági eseményeket a könyvviteli eseményekhez, de a 2./A1 axióma szerint a gazdasági esemény adatait is tartalmazó bizonylat illetve a bizonylatolt esemény közbeiktatásával. E hozzárendelés (leképezés) tehát közvetett lesz:
83 1.) Az elsı tárgyelem: az ei gazdasági esemény. A ϕ leképezési elıírás (hozzárendelési szabály) az, hogy: a bi bizonylatolt gazdasági események adatai — a bizonylatazonosítót érthetı okból nem számítva — 2./T1 szerint azonosak kell legyenek ei tartalmilag megfelelı adataival (i=1,2,...m). 2.) Az 1. számú képelem: bi, azaz a bizonylatolt gazdasági esemény. E ϕ leképezés ei↔ϕ(ei)=bi a ’↔’ jel szerint is kölcsönösen egyértelmő, hiszen minden ei gazdasági eseményhez egy és csak egy bi bizonylatolt gazdasági esemény tartozik és ez fordítva is így van (ezt biztosítja 2./T1), (i=1,2,...m). A bi képelem egyben a 2. tárgyelem — az adataival együtt. A ψ leképezési utasítás: ki könyvvitelben rögzített gazdasági esemény adatai tartalmilag azonosak kell legyenek bi adataival, 2./T1 szerint. 3.) A 2. képelem: a ki könyvviteli esemény. A ψ leképezés: bi↔ψ(bi)=ki (i=1,2,...m) tehát szintén kölcsönösen egyértelmő. A teljes összetett vagy közvetett leképezési lánc szimbólumokkal jelölve a következı: ei↔ψ[ϕ(ei)]=ki (i=1,2,...m). Tehát minden egyes ki, egy ϕ(ei)=bi-n át, közvetett képe egy ei-nek. Továbbá, mivel ei≡ki az anyagi helyzetet meghatározó adatok tekintetében (2./T1 szerint), ezért a ki∈K könyvviteli események (i=1,2,...m) a könyvviteli nyilvántartásban ugyanúgy építik fel, illetve változtatják meg a vagyon, az adósság és ezek osztályozási rendszerének képét, amint azt eredményezik a valóságban az ei∈E gazdasági események (1./T20/C7). Ezért a tétel igaz. Q.e.d. P.: 2./T2/C1, C2. K.: 1./T20/C7, 2./A1, T1. Corollárium 1: A könyvviteli nyilvántartás, mint az anyagi helyzet tényezıinek és változásainak képe és e leképezés tárgya jellegét tekintve szükségszerően ekvivalens (2./T2/C1).
Q.e.d. P.: K.: 2./T2. Corollárium 2: A vagyonelmélet tételei (és törvényei) azonos alakban és tartalommal érvényesek a könyvvitelben is (fordítva ez általában nem igaz), mert a vagyonelméletben adott rendszer és a könyvviteli rendszer izomorf (2./T2/C2).
Q.e.d. P.: K.: 2./T2
84 Az ellenırizetlen könyvvitel és leltár által involvált valóság-valótlanság dilemma és a „négyszögellenırzés” törvénye 3. Tétel: Az ellenırizetlen vagyonkönyvviteli nyilvántartás adatait a bekövetkezett gazdasági események valóságbeli adataival — egy adott t idıpontban — nem tekinthetjük 100%-ban megegyezınek.
Másképpen fogalmazva: Az ellenırizetlen vagyonkönyvvitel hibátlan voltának p valószínősége egy adott t idıpontban mindig nagyobb, mint nulla, ámde kisebb mint 1 (0
85 kot [EH∪ENH=H], ezért az I. II. és III. valószínőségi axió69 mák szerint fennáll: (a) 0
A tétel bizonyításához állítsuk annak ellenkezıjét: (T4’).: A nem ellenırzött (azaz a megfelelı gazdasági események bizonylataival egybe nem vetett) leltár alátámasztja (azaz bizonyítja) a nem ellenırzött könyvvitel és annak adataival készült mérleg valódiságát. 1) Tegyük fel, hogy egy építési vállalkozó könyvviteli nyilvántartásban és az annak alapján összeállított mérlegben szerepel, sok egyéb mellett, forgóeszközként 10 darab talicska 10⋅x pénzértékben. Viszont a leltározáskor felleltek 11 darab talicskát 11⋅x pénzértékben. E leltár adatait, a feltétel szerint, alapbizonylatok adataival nem vetették egybe, nem ellenırizték, de a könyvvitelét sem. Vagyis konkrétan pl. a talicskabeszerzés bizonylatait és a leltár, illetve a könyvvitel megfelelı adatait nem hasonlították össze. Felmerül a kérdés: Melyik adat valós biztosan? A könyvelés és az annak alapján készült mérleg, avagy a leltár megfelelı adata?
69
Ezek, mint explicite megnevezett valószínőségelméleti levezetési szabályok szerepelnek itt. Természetesen (d)-bıl, az algebrai egyenlıtlenségek explicit átrendezési szabályait levezetési szabályként alkalmazva is célba jutunk. Minden oldalhoz -1 hozzáadásával: 1-1>1-p-1>0-1 a 0>-p>-1 egyenlıtlenségeket kapjuk. Ezeket megszorozva (-1)-el az egyenlıtlenségek iránya megfordul és a negatív elıjelek pozitívra váltanak, azaz: így is a kívánt eredményt kapjuk: 0
86 Mármost, hogy valótlan-e vagy sem a könyvelés/mérleg azt az E=F és/vagy a ∑t=∑k formula alapján nem lehet eldönteni, mert azok ellenırzésre nem alkalmasak — inadekvátak (2./A5). De lehetnek valótlanok a könyvelés, illetve a mérleg adatai, mert pl. eltéveszthették a darabszámot a könyveléskor, vagy eleve téves lehetett az egyébként helyesen könyvelt számlán megjelölt mennyiségi adat és pénzérték, pl. az átvételt igazoló szállítólevélhez képest — de ezt nem vették észre, mert nem ellenırizték. Hogy a könyvelés/mérleg adatai valótlanok-e vagy nem, az ellenırzés nélkül eldönthetetlen (2./A3). De lehet, hogy a könyvelés és a mérleg vonatkozó adata helytálló, ámde valótlan a leltár megfelelı adata. Azért, mert mondjuk, a leltározó, rosszul adta össze a fellelt talicskák számát — s emiatt írt 11-et a leltárívre 10 helyett és ezt szorozta az x pénzértékkel. Vagy: merı figyelmetlenségbıl, elírta a számot a leltáríven 10-rıl 11-re. De az is lehet, hogy — ha nem látták el a talicskákat megkülönböztetı leltári címkékkel — a cég területén a kerítést javítgató, amúgy a leltározáskor már levonult kımőves ottfelejtett talicskáját is a gazdálkodó vagyontárgyának vélte a leltározó, és ezért írt 10 talicska helyett 11-et. Tehát: önmagában sem bizonyítani, sem cáfolni nem lehet a leltár adatainak valódiságát — azaz ez a probléma is, ellenırzés nélkül, eldönthetetlen (2./A4). E tények viszont már ellentmondanak T4’-nek, tehát csak T4 lehet az igaz. 2) Ugyanezek az érvek hozhatók fel, akkor is, ha mind a könyvelés, a mérleggel együtt, mind a leltár 10 talicskát és 10⋅x pénzértéket tartalmaz, de sem a könyvelés, sem a leltár nem ellenırzött, vagyis alapbizonylattal nem alátámasztott. Csak most azt nem tudni, hogy valóban fennáll-e az egyezıség. Voltaképp ugyanolyan okokból, mint az 1) esetben. Azaz: sem bizonyítani, sem cáfolni nem lehet az egyezıséget — e probléma, ellenırzés nélkül, eldönthetetlen (2./A3, 2./A4). Ez a tény szintén ellentmond T4’-nek, tehát 2./T4 lehet csak az igaz. Azaz: akár eltér — 1) eset —, akár egyezik — 2) eset — a nem ellenırzött könyvelés/mérleg és a nem ellenırzött leltár megfelelı adata, a nem ellenırzött leltár sem nem bizonyítja, sem nem cáfolja az eltérést vagy az egyezést. Q.e.d. P.: 2./T4/C1, C2. K.: 2./A3, A4, A5. Corollárium 1: A nem ellenırzött (azaz a megfelelı gazdasági események bizonylatával és az ellenırzött leltár megfelelı adatával egybe nem vetett) könyvviteli események (könyvelési tételek) nem támasztják alá (azaz nem bizonyítják) a könyvviteli nyilvántartás és az annak adataival készült mérleg valódiságát (2./T4/C1).
P.: K.: 2./A4.
87 Corollárium 2: Egymagában, sem a leltár (VL), sem a leltárral érintett idıszakban könyvelt bizonylat(ok) (VB) adatai, de még e kettı együtt sem alapozza meg az érintett vagyonkönyvvitel (VK) és vagyonmérleg valódiságát, hanem csak a VE=VB és VB=VK és VK=VL és VE=VL egyezıség egyszerre — ahol VE a gazdasági esemény mutatta valóság. Ez a könyvviteli „négyszögellenırzés” törvénye (2./T4/C2).
P.: K.: 2./A4. Szabványosítás és automatizálás 5. Tétel: Minden gazdálkodóhoz egyértelmően hozzárendelhetünk egy a tevékenységének megfelelı szabványos gazdasági eseményekbıl álló véges halmazt (2./T5).
Jelöljön G valamely gazdálkodót és jelölje a "→" szimbólum a hozzátartozást (hozzárendelést), Ea azon absztrakt gazdasági események halmazát, mely a G gazdálkodására jellemzı könyvviteli események absztrakciójával keletkezett ea∈Ea absztrakt gazdasági eseményekbıl áll. Jelölje továbbá esz∈Esz a szabványos gazdasági eseményeket és Esz ezek véges halmazát. E szimbólumokkal felírva a tételt, azt kell megmutatni, hogy fennáll: (1) G→Esz. Mármost a 2./A6 axióma szerint: Minden gazdálkodóhoz egyértelmően hozzátartozik egy, az anyagi helyzete lehetséges változásainak meghatározására alkalmas és páronként különbözı Ea absztrakt gazdasági eseményekbıl álló véges halmaz. De, ha minden gazdálkodóhoz, akkor G-hez is egyértelmően hozzátartozik (hozzárendelhetı) a rá jellemzı Ea, azaz igaz: (2) G→Ea. Ugyanakkor a vonatkozó definíció szerint: Szabványos gazdasági eseményeknek nevezzük a gazdálkodó könyvvitelében konkrét könyvviteli események szabatos „megnevezésére” [a3 adattípusként] kötelezıen használandó olyan eseményneveket, melyeket az absztrakt eseményekbıl tipizálással képzünk, és amelyeknek egyedei formálisan (azaz: az esemény neve vagy leírása szavait és azok sorrendjét tekintve) és tartalmilag (azaz: az esemény neve vagy leírása jelentését tekintve) mind különböznek egymástól, és értelmes (másképp: reális) az eseménykoordináta-n-esük. De e definíció szerint igaz: esz=ea∈Ea, ezért fennáll: Esz⊆Ea. De akkor igaz: G→Esz is. Q.e.d. P.: 2./T5/C1, C2. K.: 2./A5. Corollárium 1: Az absztrakt gazdasági események n száma és a szabványos gazdasági események k száma viszonyára áll: 1≤ ≤k≤ ≤n (n=1,2,...) [2./T5/C1].
P.: 2./T6, 2./T7. K.: 2./T5. Corollárium 2: A szabványos gazdasági események is jellemzıek a gazdálkodó tevékenységére, azaz: gazdálkodóspecifikusak [2./T5/C2].
P.: 2./T8/C2.
88 K.: 2./T5. 6. Tétel: A (0;t] idıintervallumban (t=1,2,…,M) szabványos gazdasági eseményekkel „megnevezett” konkrét könyvviteli események kapcsán bekövetkezı bruttóvagyonváltozások M. idıponthoz tartozó algebrai összege egyenlı e bruttóvagyonváltozások szabványos gazdasági események szerinti osztályozásának fıösszegével (2./T6).
A (0;M] idıintervallumban következzen be n (n=1,2,...) számú gazdálkodóspecifikus gazdasági esemény. Minden ilyen esetben a bruttóvagyon nı vagy csökken vagy csak struktúrát vált (A15). Tegyük fel, hogy a csökkenéseket a gazdálkodóra jellemzı megfelelı könyvviteli események mértékadata negatív elıjellel rögzíti. Ezen kívül, mivel kompenzatív esemény kapcsán nem változik meg a bruttóvagyon [a fıösszeg ui. invariáns a kompenzatív gazdasági eseményekre nézve (1./T19/C1)], ezért ezek mértékadatát nullának tekintjük. E feltételekkel a bruttóvagyon V mértéke a t=M idıpontban egyenlı a (0;M] idıintervallumban rögzített n darab könyvviteli esemény azonos típusú mértékadatának algebrai összegével (1./T27). De ezt az n darab konkrét könyvviteli eseményt „megnevezhetjük” a nekik megfelelı szabványos gazdasági eseménnyel, ámde emiatt a bruttóvagyon V értéke nyilvánvalóan nem változik meg. E szabványos gazdasági események száma k, melyre igaz: 1≤k≤n (n=1,2,...) (2./T5/C1). Mármost, ha k=n, azaz a szabványos gazdasági események és a könyvviteli események száma megegyezik, akkor a tétel nyilván igaz. Ha viszont 1
A gazdálkodó anyagi helyzetének változásait egy adott idıszakban leírja könyvviteli nyilvántartásának n darab könyvviteli eseménye. Most szabványos gazdasági események létrehozása céljából, a vonatkozó definíciónak megfelelıen, tipizáljuk (soroljuk osztályokba) ezeket a könyvviteli eseményeket az a3 adatuk (azaz a konkrét „eseménynevük”) jelentése alapján. Ekkor egy osztályba csak olyan könyvviteli események kerülhetnek, amelyek-
89 nek azonos jelentéső az a3 adata. Így k darab osztályt kapunk és az osztályok k számára igaz 1≤k≤n (2./T5/C1). Következésképpen ezen osztályokban legalább egy, k
Q.e.d. P.: K.: 2./T7. 8. Tétel: A gazdálkodó bármely könyvviteli eseményének koordinátái a gazdálkodására jellemzı szabványos gazdasági események függvényeként automatikusan meghatározhatók (2./T8).
Jelölje ei az i. gazdálkodóspecifikus [2./T5/C2] szabványos gazdasági eseményt (i=1,2,...,n). Minden ilyen szabványos gazdasági eseményhez egyértelmően hozzárendelhetı a neki megfelelı konkrét könyvviteli esemény koordinátáit adó osztálykoherencia (vagy kontírozási összefüggés) yi’*=oi* adatvektora, mint az eseménykoordináták metaadata (2./T7). De yi’*=oi* az yi’*=[y1,y2,...yk]i’=oi*=ϕ’(xi) könyvviteli derivált72 értéke az xi=ei helyen.
72
Hogy a blaszfémia látszatát is elkerüljük, a könyvviteli derivált fogalmának bevezetése kapcsán a következı tényekre hívom fel a figyelmet: (1) A könyvviteli derivált összehasonlítható a matematikai deriválttal például abban a tekintetben, hogy f(x)-ben, implicite, minden információ benne van f’(x)-re vonatkozóan, és hogy alapvetıen logikai levezetéssel származtatjuk mindkettıt. Ugyanis, a matematikai differenciahányados határértékének meghatározása — mint minden elemi függvény vagy sorozat határértékének a meghatározása — döntıen logikai megfontolásokon alapuló levezetés, s nem pedig számítás. (Ugyanakkor természetesen a különbözı függvények összege, szorzata és hányadosa, stb. határértékének meghatározását már számításnak nevezzük - joggal.) (2) Másrészt: Eddig sem csak a matematikában használták a derivált fogalmat. Van például nyelvtani (származékszó), villamosságtani (derivált áramkör — mellék áramkör) és ballisztikai derivált (ballisztikai pályaeltérés) is.
90 Mármost e yi’*=oi* könyvviteli derivált-értéket automatikusan meghatározza a valódi kontírozó automata, amely az ún. memória (állapotmemória) nélküli, véges és diszkrét Mealyféle absztrakt automatának megfelelı yi’*=[y1,y2,...yk]i’=oi*=ϕ’(xi)=ƒ’(ei) két [a ϕ’(xi) vagy ƒ’(ei)] könyvviteli derivált függvény valamelyikével modellezett73 a vonatkozó definíció szerinti. Q.e.d. P.: 2./T8/C. K.: 2./T7, 2./T5/C2. Corollárium: Amennyiben az ei→yi’*=[y1,y2,...yk]i =oi* minden i-re elıre helyesen meghatározott, úgy a kontírozó automatával bármennyi bizonylatolt gazdasági, illetve könyvviteli esemény osztálykoherenciájának (kontírozási összefüggésének) automatikus megadása is hibátlan lesz, vagyis a kontírozó automata az ei-k hibátlan kontírozása esetén kizárja a kontírozási hibákat — azaz: ettıl a hibatípustól izolálja a könyvviteli rendszert, bármely ei-re és akárhányszor ismételjük e mőveletet (2./T8/C). ’
P.: K.: 2./T8. 9. Tétel: A gazdálkodó bármelyik könyvviteli eseményének adatai a gazdálkodására jellemzı szabványos gazdasági események és a konkrét bizonylatolt gazdasági események adatai függvényeként könyvelı-automatával automatikusan meghatározhatók (2./T9).
A könyvelı automata egyszerő Mealy-féle absztrakt automatákkal modellezhetı összetett valós automata, amely nem csak az osztálykoherencia-adatokat adja meg automatikusan a szabványos gazdasági események függvényében (2./T7), hanem minden olyan adatot, amely adott ei (i=1,2,...,n) szabványos gazdasági eseményhez egyértelmően hozzárendelhetı (2./T7/C). Ilyen adat lehet például a mennyiségi egység (vagy mértékegység) adata, vagy az esemény ÁFA-kulcsa és az ÁFA ajánlott összege is,74 stb. A könyvelıautomata bemenı adataihoz csatolhatók még a konkrét bizonylatolt gazdasági esemény konkrét adatai (esemény kelte, bizonylatazonosító, mennyiség, pénzérték, stb.) is. Így ezek kimenı adatok is lesznek egyben. Q.e.d. P.: 2./T10 K.: 2./T7, 2./T7/C. 10. Tétel: Az E és/vagy F aspektusú összes si∈S={s1,s2,...,si,...,sp} azonosítószámú vagyonfajta (hagyományosan „fıkönyvi számlák”) összesítı (fıkönyvi) kivonatának adatai a könyvelı-automatával elıállított adatbázisból az összesítı kimutatást lekérdezı automatával meghatározhatók (2./T10).
A könyvelı-automatával (2./T9) elıállított összes könyvviteli eseménybıl, mint adatbázisból az összesítı kimutatást 73
Minderrıl bıvebb információ olvasható még könyvem elsı része IV. fejezetének 3.2 pontjában. Az ÁFA összege célszerően csak ajánlott lehet, ami nyilván nullázandó, ha a konkrét esetben pl. ÁFAmentesség áll fenn.
74
91 lekérdezı absztrakt automatának megfelelı valós automatával az E és F osztályozás szerinti si∈S={s1,s2,...,si,...,sp} azonosítószámú vagyonfajták és részösszegei (hagyományosan a „fıkönyvi számlák”) összesítı (fıkönyvi) kivonatának adatai automatikusan lekérdezhetık, elıállíthatók. Ugyanis az összesítı kimutatást lekérdezı absztrakt automata valós alakja egy olyan szekvenciális „gép”, amely az s1,s2,...,sp bemenıjeleket sorra veszi majd az R könyvviteli adatbázison az általuk jelölt vagyonfajták (hagyományosan fıkönyvi számlák) forgalmi és egyenlegadatait meghatározza és összesítı (fıkönyvi) kivonatba rendezi. Q.e.d. P.: 2./T10/C1, K.: 2./T9. Corollárium 1: Amint az összesítı kimutatás (fıkönyvi kivonat), hasonlóképp a mérleg is elıállítható a megfelelıen kiegészített lekérdezı automatával (2./T10/C1).
P.: K.: 2./T10. Corollárium 2: Az összesítı kimutatás (fıkönyvi kivonat) és a mérleg N aspektusú (N≥2) vagyonosztályozási rendszer esetén is elıállítható a megfelelıen kiegészített lekérdezı automatával (2./T10/C2).
P.: K.: 2./T10. Corollárium 3: A könyvelıautomata és a lekérdezıautomata használata szükségtelenné teszi a hagyományos „fıkönyvi számlák” vezetését, következésképp okafogyottá teszi a számlaelméleteket. Ez a számlaelméletek halála (2./T10/C3).
P.: K.: 2./T10.
3. A tartozás - körbetartozás elméletének75 alapelemei 3.1 Princípiumok 3.11 Definíciók 1. Adóskört alkot, azaz körbetartozik n (n≥2) gazdálkodó, akkor és csak akkor, ha mindegyikük tartozik is legalább egy másiknak és követel is legalább egy másiktól. 2. Az adóskörben szereplı gazdálkodót az adóskör tagjának nevezzük. 3. A kéttagú adóskörrıl azt mondjuk: adóspár. 4. Egyszerő adóskör az, melynek minden tagja csak egyetlen másik tagnak tartozik és csak egyetlen másik tagtól követel. Az adóspár egyszerő adóskör. 75
Ez az elmélet a vagyonelmélet egy leágazása.
92 5. Összetett adóskör az olyan n≥3 tagú adóskör melynek tagjai kettı vagy több egyszerő adóskört alkotnak. 6. A piacon eladó és/vagy vevı gazdálkodókat76 a piac szereplıinek nevezzük. 7. Piaci szegmensnek nevezzük az n számú piaci szereplıbıl (n≥3) álló halmaz ama részhalmazát, mely adóskört alkot. 8. Független (egymástól) két piaci szegmens, ha tagjaik között nincs olyan, amely a másik szegmens valamely tagjának tartozik. 3.12 Piaci axiómák 1. Minden piacon van legalább két szereplı — legalább egy eladó és legalább egy vevı (A1). P.: 3./T2, T3. 2. A piac szereplıi az adásvétel során mindig saját vagyontárgyaikat adják el eladóként,77 illetve adják ellenértékül vevıként (A2). P.: 3./T2.
3.2 A tartozás - körbetartozás tételei és bizonyításuk. 1. Tétel: Minden hitelezı egyben adós is (3./T1).
Legyen G1 egy a létezı hitelezık közül, és hitelezzen pl. a G0 gazdálkodónak. Azt kell megmutatni: ahogy G1, úgy minden hitelezı egyben adós is. Ha tehát G1 hitelezıje G0-nak, akkor G0 az 1./A9 axióma szerint tartozik neki és G1 vagyonos az 1./A8 axióma alapján. (Jelölje G1 vagyonát V1>0). De akkor G1-nek is van A1>0 adóssága, ugyanis akinek van vagyona, annak van adóssága is (1./A8), azaz fennáll: (V1>0)→(A1>0)78 az 1./A8 és 1./T1,T2 szerint. Tehát: G1 valakinek, mondjuk pl. akár G0-nak és/vagy más gazdálkodó(k)nak (pl. G2-nek) szintén kell, hogy tartozzon. Vagyis: G1 maga is adós. Mivel G1 a létezı hitelezık bármelyike lehet — és adós volta hitelezıi mivoltából követ76
A piacon eladó és vevı gazdálkodó alatt nem értjük a gazdálkodó alkalmazottját vagy megbízottját. A piaci szereplık mindig saját javaikat adják el, illetve a saját nevükben vásárolnak. Ezért pl. a munkaerıpiacon a munkavállalók az elvégzendı munkájukat adják el a munkáltatóiknak, azok pedig - ellenértékképpen – a dolgozóiknak a munkabérüket jelentı pénzösszegeket „adják el”. 77 Ui.: a közvetítı ügynök is a saját vagyoni értéket képviselı szolgáltatását adja el jutaléka ellenében, míg az általa lebonyolított ügylet mások közötti, az eredeti eladó és a vevı közötti adásvétel. A bizományos is, ha eladta, sajátjaként adta el az árut, melyet ekkor - utólag - megvesz eredeti tulajdonosától. És: hiába lopott egy eladásra kínált áru, amíg a lopás be nem bizonyosodik, addig a tolvaj eladó is rendes piaci szereplınek számít az adásvétel ügyletében, minden jóhiszemő vevıvel szemben. Ha pedig kiderül a turpisság, akkor az ügylet a jog szerint - legfeljebb érvénytelen, mintha meg sem történt volna. 78 A ‘→’ szimbólum a matematikai logikában használatos mővelet, az implikáció jelölésére szolgál. Esetünkben ‘(V>0)→(A>0)’ szavakkal kifejezve: V>0 implikálja A>0-t. Jelentése: V>0, mint magától értetıdıen velejárót, következményként, magával hozza A létezését (azaz A>0-t).
93 kezik (1./A8) —, ezért minden hitelezıre nézve fennáll, hogy egyben adós is. (E tétel nem megfordítható!) Q.e.d. P.: 3./T3. K.: 1./A8,A9,T1,T2. 2. Tétel: A piac szereplıi mind vagyonos gazdálkodók (3./T2).
Válasszunk ki az összes piaci szereplı közül tetszılegesen kettıt. Legyenek ezek G1 és G2. Egyik — mondjuk G1 — eladó legyen, a másik — G2 — pedig vevı, a 3./A1 szerint. Állítom: G1 is és G2 is vagyonos gazdálkodó, akárcsak a többi. Ha ugyanis nem, akkor vagy G1 nem a saját vagyontárgyát adja el eladóként, vagy G2 nem a saját vagyontárgyát adja ellenértékül, mint vevı, avagy egyikük sem a saját vagyontárgyát adja az ügyletben a másiknak, ámde mindhárom eset ellentmond 3./A2-nek. Mert 3./A2 szerint: a piac szereplıi az adásvétel79 során mindig saját vagyontárgyaikat adják el eladóként,80 illetve adják ellenértékül vevıként, tehát G1 és G2 vagyonos lehet csak. Ha viszont G2 az eladó és G1 a vevı, ık akkor is vagyonos piaci szereplık. Elég ennek igazolásához az indexeiket felcserélni. Végül: Mivel az összes piaci szereplı közül, tetszılegesen, bármelyik kettıt választhatjuk G1-nek és G2-nek, ennek ellenkezıjét nem kötöttük ki, ezért a G1 és G2 piaci szereplı esetére igaz állítás az összes piaci szereplıre nézve is igaz. Q.e.d. P.: 3./T3, T4. K.: 3./A1, A2. Corollárium: Minden eladó vevı is és fordítva (3./T2/C).
P.: K.: 3./T2. 3. Tétel: Ha egy piacon csak két vagyonos gazdálkodó van, akkor ık csak egymásnak tartoznak. Ekkor ık ketten - adóspárként - a minimális tagszámú adóskört alkotják. (Ez a körbetartozás minimális esete.) [3./T3]
Minden piacon van legalább két szereplı 3./A1 szerint, és ezek vagyonos gazdálkodók 3./T2 szerint. Legyen tehát most a piacon csak kettı szereplı: G1 és G2. Azt kell megmutatni, hogy e G1 és G2 gazdálkodó csak egymásnak tartozik. 79
Az adásvétel tágan értelmezve, nem csak dolgok, hanem szolgáltatások adásvételét is jelenti. Ui.: a közvetítı ügynök is a saját vagyoni értéket képviselı szolgáltatását adja el jutaléka ellenében, míg az általa lebonyolított ügylet mások közötti, az eredeti eladó és a vevı közötti adásvétel. A bizományos is, ha eladta, sajátjaként adta el az árut, melyet ekkor - utólag - megvesz eredeti tulajdonosától. És: hiába lopott egy eladásra kínált áru, amíg a lopás be nem bizonyosodik, addig a tolvaj eladó is rendes piaci szereplınek számít az adásvétel ügyletében, minden jóhiszemő vevıvel szemben. Ha pedig kiderül a turpisság, akkor az ügylet a jog szerint - legfeljebb érvénytelen, mintha meg sem történt volna.
80
94 Minthogy G1 vagyonos, ezért van adóssága (1./A8 szerint) és így van hitelezıje 1./A9 szerint. E hitelezı a feltétel szerint nem lehet más csak G2, aki szintén vagyonos (1./A9 szerint). Ám, ha G2 hitelezı, akkor adós is a 3./T1 szerint, következésképp van hitelezıje 1./A9 szerint. E hitelezı a feltétel nem lehet más csak G1. G1 és G2 tehát valóban csak egymásnak tartozik. Ez a körbetartozás minimális esete (3./T3). Q.e.d. P.: 3./T4. K.: 1./A8, A9; 3./A1, T1, T2. 4. Tétel: Minden piacon van körbetartozás, vagyis a körbetartozás a piacok attribútuma, azaz nélkülözhetetlen tulajdonsága (3./T4).
Jelölje n a piaci szereplık számát és legyen a vizsgált piacon n (n≥2) piaci szereplı. Állítom, hogy e piacon — és minden piacon — van körbetartozás, következésképp a körbetartozás a piacok természetes és nélkülözhetetlen tulajdonsága, azaz: attribútuma. Ehhez azt kell megmutatni, hogy az n (n≥2) szereplıs piacon van legalább egy adóskör. A vizsgált piacon tehát van n szereplı (n≥2). Ezek 3./T2 szerint mind vagyonos gazdálkodók. Mármost, ha mindössze két szereplıje van e piacnak (azaz n=2), akkor a 3./T3 szerint ık ketten - adóspárként - a minimális tagszámú adóskört alkotják és így a tétel igaz. Minthogy e piacot más vonatkozásban nem specifikáltuk, ezért az is igaz, hogy minden kétszereplıs piacon van körbetartozás. Ezután azt kell megmutatnunk, hogy akkor is van e piacon adóskör, következésképp körbetartozás, ha n>2. Ehhez a következı módszert is alkalmazhatjuk: 1) Kiválasztjuk az n-szereplıs piac egyik tagját — találomra — és hozzárendeljük az 1. sorszámot. 2) Majd a maradt számozatlan tagokból, ismét véletlenszerően, kiválasztunk egyet és ehhez eggyel nagyobb sorszámot rendelünk. 3) Ezután gondolatban egy nyilat irányítunk hegyével, a nagyobb sorszámú taghoz. E nyíl azt jelenti, hogy a kisebb sorszámú piaci szereplı, aki vagyonos (3./T2 szerint), tartozik a nagyobb sorszámot viselınek (azaz a nyíl hegye mutat a hitelezıre), ugyanis: akinek van vagyona, annak van adóssága is, mellyel hitelezıjének tartozik 1./A8 és 1./A9 szerint. 4) A 2) és a 3) lépést addig ismételjük, amíg van még számozatlan tag. Ezután már az n. taghoz is nyíl irányul az (n-1). tagtól. Minthogy 3./T2 szerint minden piaci szereplınek van vagyona, így az n. szereplınek is van,
95 ezért neki is van adóssága (1./A8 szerint), mellyel hitelezıjének vagy hitelezıinek tartozik (1./A9 szerint). 5) Ámde, mivel a számozatlan tagok már elfogytak, az n. tag vagy az 1., és/vagy a 2., ..., és/vagy az n-1. sorszámú tagnak kell tartozzon. S e tartozása jeléül ezek közül egyhez vagy többhöz nyílnak kell irányulnia — tıle. Mindez azt jelenti, hogy e piacon vagy egy n, vagy egy n-1, ..., vagy egy 3, vagy egy 2 tagú egyszerő adóskör létezik — legalább. Minthogy e piacot más vonatkozásban nem specifikáltuk, ezért az az állítás is igaz, hogy minden piacon van adóskör és így körbetartozás, ami a piacok attribútuma (3./T4). Q.e.d. P.: K.: 1./A8, A9; 3./T2, T3. Corollárium 1: Ha az n-szereplıs piacon (ahol n≥ ≥3) van olyan adóskör, amely nem adóspár, akkor az ilyen kör bármelyik tagja nem csak egyetlen másik körtagnak tartozhat. Tehát az ilyen adóskör lehet összetett is (3./T4/C1).
Q.e.d. P.: K.: 3./T4. Corollárium 2: Az adóspárok számát jelölje P. Az n szerepelıs piac (ahol n>3) tartalmazhat több adóspárt is. Az adóspárok lehetséges maximális száma Pmax=[(n-1)*n]/2, ami ekvivalens pl. a konvex n-szög oldal és átlójellegő éleinek együttes számával (mely utóbbi teljes indukcióval könnyen igazolható) [3./T4/C2].
Q.e.d. P.: K.: 3./T4. Corollárium 3: Ha az n szereplıs piac (ahol n>3 és páros), mint halmaz, k piaci szegmensre (azaz részhalmazra) bomlik (ahol n=2k), akkor k darab egymástól független adóspárt tartalmazhat (3./T4/C3).
Q.e.d. P.: K.: 3./T4. Corollárium 4: Ha az n szereplıs piac (ahol n>2) piaci szegmensekre bomlik, akkor adóspár(oka)t és/vagy páratlan tagszámú adóskör(öke)t tartalmaz (3./T4/C3).
Q.e.d. P.: K.: 3./T4.
96
Elıszó a függelékekhez Az egyes könyveléseknek különféle események lehetnek a tárgyaik. Például: a vesztes csapat elkönyveli magának a vereséget, a futballbíró a kiosztott sárga és piros lapokat, a pedagógus a diákok érdemjegyeit, a történész a történelem eseményeit, a kutató biológus a kísérleti eredményeket, a gazdálkodó könyvelıje pedig a vagyonban, az adósságban a gazdálkodás során beálló változások, azaz a gazdasági események adatait. Ezek tehát mind események kronologikus nyilvántartásai, azaz könyvvitelek, mégpedig speciális könyvvitelek. Speciális könyvvitelek például: a) iskolai tanulók feleleteinek, tudásszint-változásának könyvelése (osztálynaplóba, leckekönyvekbe, stb.), b) pl. családi vagy vállalati telefonhívások és azok havi költségeinek hívó és hívott számonként és/vagy hívási viszonylatonként való könyvelése, c) televízió-, telefon-, újság- vagy internet-szolgáltatás, stb. változó elıfizetıi nyilvántartásának vezetése, d) könyvtár, földhivatal, anyakönyv, népesség, gépjármő változó nyilvántartásának vezetése, valamint e) rendırségi, ügyészségi, állami és önkormányzati adóhatósági, illetékhivatali kronologikus nyilvántartások vezetése, f) perek dokumentumainak és eseményeinek (beadványok, tárgyalások, szemlék, jegyzıkönyvek, végzések, határozatok, stb.) kronologikus nyilvántartása, g) az állami statisztikai célú könyvelések egy jelentıs része (pl. a GDP napi alakulásának feljegyzése, stb.), h) a tızsdei termékek áralakulásának könyvvitele, i) a kronológiát is figyelı tudományos kísérletek, vagy megfigyelések (pl. meteorológiai, csillagászati megfigyelések, mőszaki, biológiai, kémiai kísérletek) adatainak könyvelése, j) a gazdálkodás körében: a megrendelések nyilvántartása, a munkaszámos és kronologikus projektnyilvántartás, a reklám-marketing-nyilvántartás, a dolgozók munkaügyi és bérnyilvántartása, k) avagy a vagyonkönyvviteltıl elkülönítetten vezetett készletnyilvántartás, az önköltség alakulásának nyilvántartása, stb. A következı három függelékben három speciális könyvvitelre mutatok, bár fiktív adatokkal, ámde jól illusztráló példát.
97
1. Függelék Vagyonkönyvvitel és mérlege Az alábbi y1. táblázat egy n=4, azaz idı-eszköz és idıforrás aspektusú dinamikus valamint eszköz és forrás aspektusú statikus komplex vagyonmérleget mutat, amely a következı y2. táblázat szerinti vagyonkönyvviteli adatbázis által egyértelmően meghatározott.
98
99
100
2. Függelék Tudásszint könyvelése és a tudásmérleg A t1, t2 és t3 táblázatok mérlegeit a t4 táblázatbeli könyvviteli adatbázis adatai határozzák meg. A t1 táblázatban egy vegyes — statikus és dinamikus aspektusú — mérleg-változat látható. A t3 táblázat szerinti mérleg az elsı két oszlopában a tanulók ismert bizonyítványát vagy leckekönyvét tartalmaz-
za
Az osztálynapló, mint könyvelési nyilvántartás, amely az elıbbi mérlegeket meghatározza, a következı formát is öltheti:
101
Ugyanakkor a tudásszint alakulásának könyvelése történhet pl. egy egész iskola „naplójában” is. Ekkor nyilván célszerő a naplóba (a könyvviteli nyilvántartásba) felvenni a négy, már említett adat mellé továbbiakat is. Például 5. adatként az évfolyam azonosítóját, 6. adatként az osztály azonosítóját. Sıt felvehetı lenne pl. az érdemjegyet adó tanár azonosítója is mondjuk 7. adatként. Ekkor a mérlegben, további aspektusként, a tudásszint-alakulás tanáronként is kimutatható lenne, amelynek nyilvánvalóan jól hasznosítható az információtartalma az iskolát irányító vezetık számára.
102
3. Függelék Havi telefonköltség könyvelése és annak havi költségmérlege 4 ASPEKTUSÚ STATIKUS és DINAMIKUS HAVI TELEFONKÖLTSÉG-MÉRLEG Hívó telefonszámok
+36 1 4010246 GIN 1 1 +36 1 4010247 GIN 2 2 +36 1 4010248 GIN 3 3
Telefon költség Ft
Hívott telefonszámok
Telefon költség Ft
Hívott mobil v. vonalas
Telefon költség Ft
Hívási napok
Telefon költség Ft
+36 1 6308708 2640 1 GT
1056 1 mobil
870 1 2010.01.10
650
+36 1 3424479 1056 2 HA
vona1570 2 las
2951 2 2010.01.11
1066
1070
3 2010.01.12
920
125
2010.01.13
0
+36 30 6649984 125 3 IGy +36 1 4323900 4 MM
3821
3821
2010.01.14
0
4 2010.01.15
125
5 2010.01.16
870
2010.01.17
0
6 2010.01.18
200
3821
3831
f1 táblázat
Havi telefonköltség-könyvvitel adatbázisa GIN TELEFONHÍVÁS LISTÁJA esemény
telefonhívások
idıontja
leírása
eseménykoordináták
hívó szám adat1
adat2
hívott szám
hívott mobil v. vonalas
adat3*
hívások költsége Ft
adat4
y1
y2
y3
2010.01.10 +36 1 4010246 GIN 1 hívta +36 1 3424479 HA
1
2
2
650
2010.01.11 +36 1 4010247 GIN 2 hívta +36 1 6308708 GT
2
1
2
1066
2010.01.12 +36 1 4010246 GIN 1 hívta +36 1 3424479 HA
1
2
2
920
2010.01.15 +36 1 4010248 GIN 3 hívta +36 1 4323900 MM
3
4
2
125
2010.01.16 +36 1 4010246 GIN 1 hívta +36 30 6649984 Igy
1
3
1
870
2010.01.18 +36 1 4010246 GIN 1 hívta +36 30 6649984 Igy
1
3
2
200
Összesen:
* Az adat3 azonos az y1, y2 és y3 elemével az y=[y1,y2,y3]* eseménykoordináta vektornak f2 táblázat
3831
103
4. Függelék Egy mai klasszikus magyar, angol és német vagyonmérleg
104
Alkalmazott fontosabb jelölések ≅ ≥ ≤
közelítıen egyenlı nagyobb, vagy egyenlı kisebb, vagy egyenlı kisebb vagy nagyobb, vagy egyenlı ∆ kicsiny különbség ∞ végtelen (nagy vagy kicsi) szám vagy mennyiség ƒ függvény, leképezési szabály vagy hozzárendelési utasítás ϕ függvény, leképezési szabály vagy hozzárendelési utasítás → leképezés, hozzárendelés implikáció (jelentés a matematikai logikában: mint magától értetıdıt velejárót, következményt magával hoz) ± pozitív vagy negatív ≠ nem egyenlı ≡ ekvivalens (másképp: azonos) ≈ közelítıen azonos ... folytatódás az elızıek szerint ∪ halmazok uniója (vagy egyesítése) ⊄ nem része ⊂ valódi része ⊆ része vagy egyenlı ∈ eleme ∉ nem eleme ∑ összegzés (summa) A halmaz S mátrix * v sorvektor v oszlopvektor 1 összegzı oszlopvektor (minden eleme 1) 0 nullvektor (minden eleme 0) ∧ konjunkció (logikai és) ∨ diszjunkció (logikai és/vagy) ∇ kizáró vagy (logikai - csak! - vagy)