Def 2. Aksiomaatilist teooriat T nim semantika S suhtes · korrektseks, kui iga teoorias T tuletatav valem on semantikas S tõene. · täielikuks, kui iga semantikas S tõene valem on teoorias T tuletatav. (Def 1. Tuletuseks ehk formaalseks tõestuseks nim valemite jada 1 , 2 , ... , , milles iga valem on kas aksioom või saadud mingi tuletusreegliga mõnedest temale eelnevatest valemitest. Valemist F nim tuletatavaks, kui leidub tuletus, mille viimane liige on valem F) Sekventsiaalne lausearvutus. Tuletamine lausearvutuses. Eesmärk on formuleerida lausearvutuse jaoks aksiomaatika, mis on korrektne ja täielik samaselt tõesuse semantika suhtes. Kasutame Gentzeni-tüüpi süsteemi, mis vastab matemaatiliste väidete tõestamisel esinevatele arutluskäikudele paremini kui ajalooliselt vanemad Hilberti-tüüpi süsteemid. Lugeda lk. 88-96 Lausearvutuse korrektsus, mittevastusrääkivus (tõestustega).
Asju liigitatakse: 1. Kinnis- ja vallasasjad 2. Asendatavad asjad 3. Äratarvitatavad asjad Asjade jaotamisel kinnis- ja vallasasjadeks on lähtutud kinnisasja mõistest. Kinnisasi – maapinna piiritletud osa (maatükk). Vallasasjad on kõik asjad, mis ei ole kinnisasjad. Vallasasjad, mis on muutunud kinnisasja oluliseks osaks, ei ole enam vallasasjad. Asja sätete puhul TSÜS-is on piirdutud ühe vastandliku mõiste defineerimisega, jättes teise tuletatavaks. Vallasasjad on asendatavad või asendamatud. Asendatavad on näiteks käibivad rahatähed ja sama äriühingu väärtpaberid, seeriaviisiliselt toodetavad asjad, teatud aastakäigu veinid teatud veinipiirkondades. Asendatamatud asjad on tellija erisoovide kohaselt valmistatud asjad, kasutatud autod, erinevate pruulikodade õlled jne. Vallasasju jaotatakse ka äratarvitatavateks ja äratarvitamatuteks asjadeks.
Asju liigitatakse kinnis ja vallasasjad, asentatvad asjaks ja kolmandaks ära tarvitatavad asjad. Asjade jaotamisel kinnis ja vallasasjadeks on lähtutud kinnisasjade mõistest. Kinnisasjaks on maapinna piiritletud osa(maatükk), vallasasjaks aga kõik asjad, mis ei ole kinnisasjaks. Vallasjad mis on muutunud kinnisvara oluliseks osaks ei ole enam vallasasjad. On piirtutud ühe defineerimisega jäetud teine tuletatavaks. Vallasasjad on asentatavad või asendamatud. Asendatav on näiteks käibivad rahatähed ja äriühingu väärtpaber, seeriaviisilisel tootedavad asjad, teatud aasta veinid. Asendatamatud on eri tellimused, kasutatud autod erinevate pruulikodade õlled jne. Vallasasju ka ära tarvitatateks ja ära tarvitamuteks. Asi on ära tarvitatav, kui see otstabe kohasel kasutamisel lakkab olemast või võõrandatakse. Ära
Asju liigitatakse: 1. Kinnis- ja vallasasjad 2. Asendatavad asjad 3. Äratarvitatavad asjad Asjade jaotamisel kinnis- ja vallasasjadeks on lähtutud kinnisasja mõistest. Kinnisasi maapinna piiritletud osa (maatükk). Vallasasjad on kõik asjad, mis ei ole kinnisasjad. Vallasasjad, mis on muutunud kinnisasja oluliseks osaks, ei ole enam vallasasjad. Asja sätete puhul TSÜS-is on piirdutud ühe vastandliku mõiste defineerimisega, jättes teise tuletatavaks. Vallasasjad on asendatavad või asendamatud. Asendatavad on näiteks käibivad rahatähed ja sama äriühingu väärtpaberid, seeriaviisiliselt toodetavad asjad, teatud aastakäigu veinid teatud veinipiirkondades. Asendatamatud asjad on tellija erisoovide kohaselt valmistatud asjad, kasutatud autod, erinevate pruulikodade õlled jne. Vallasasju jaotatakse ka äratarvitatavateks ja äratarvitamatuteks asjadeks.
annaabi.ee 
