Professional Documents
Culture Documents
Vt. Lisaks: Normaalkujude minimeerimine, hulga karakteristlik funktsioon, hulga graafik, võimsuste hierarhia,
Kontiinumi hüpotees.
1. Lausearvutuse põhimõisted
Vaadeldavate lausete hulka kuuluvad laused, mis väidavad midagi ning mille tõeväärtus on
üheselt määratav. Välistatud kolmanda seaduse tõttu jäetakse vaatluse alt välja kõik
küsilaused ja enamik hüüdlauseid, samuti kõik käsud jt mõttetud sõnaühendid.
Lausemuutujate (A,B,C jne) ning lausearvutuse tehete abil kirja pandud lauseid nimetatakse
lausearvutuse valemiteks. Lausearvutuse valemite koostamiseks arvestame järgmiste
reeglitega:
Iga lausemuutuja võib olla kas tõene või väär. Asjaolu, et muutuja A on tõene märgitakse A =
1 ja kui A on väär, siis A = 0. Lausemuutujate hulgale korraga omistatud tõeväärtuste
komplekti nimetatakse väärtustuseks. Nt. Muutujakomplekti A, B, C üks võimalikke
väärtustusi on A = 0, B = 1, C = 1.
Näiteks on valem A & ¬A samaselt väär (Valemeid, mille konjunktsioon on alati väär,
nimetatakse vasturääkivateks.) ning valem A ˅ ¬A samaselt tõene. (Selliseid valemeid
saab rakendada normaalkujude leidmisel lisamaks puudu olevaid liikmeid). Et samaselt
tõene valem on igas olukorras tõene, siis ei sisalda ta informatsiooni. Samaselt väärad
valemid esitavad väiteid, mis ei saa mitte ühelgi tingimusel olla tõesed. Asjaolu, et mõni
valem on samaselt tõene / väär, saab kontrollida tõeväärtustabeli abil.
Definitsioon 4. Lausearvutuse valemit A nimetatakse kehtestatavaks, kui ta on vähemalt ühel
väärtustusel tõene.
Teoreem 1. Valem A on samaselt tõene parjasti siis, kui tema eitus ¬A on samaselt
väär.
Teoreem 2. Valem A on kehtestatav parajasti siis, kui tema eitus ¬A ei ole samaselt
tõene.
Tõesuspuu
Definitsioon 5. Öeldakse, et valemitest 𝐴1 , 𝐴2 ... 𝐴𝑛 järeldub valem B , kui igal neis valemeis
esinevate muutujate väärtustusel, millel 𝐴1 , 𝐴2 ... 𝐴𝑛 on tõesed, on ka B tõene. Tähistame
𝐴1 , 𝐴2 , … 𝐴𝑛 ⊢ 𝐵.
Näide: Tõestada, et valemitest A → B ja B → C järeldub valem A → C. Oletame, et mingil
väärtustusel on eeldused tõesed ja väide väär, siis A = 1 ja C = 0. Esimesest võrdusest B = 1,
kuid teine võrdus ei saa enam kehtida. Seega oleme jõudnud vastuoluni ning väide kehtib.
Näide: Kõik samaselt tõesed valemid on üksteisega samaväärsed, sest sellised valemid on igal
väärtustusel tõesed. Analoogiliselt on samaväärsed ka samaselt e loogiliselt väärad valemid.
1. Idempotentsuse seadused:
A&A≡A A˅A≡A
2. Kommutatiivsuse seadused:
A&B≡B&A A˅B≡B˅A
3. Assotsiatiivsuse seadused:
(A & B) & C ≡ A & (B & C) (A ˅ B) ˅ C ≡ A ˅ (B ˅ C)
4. Distributiivsuse seadused:
A & (B ˅ C) ≡ A & B ˅ A & C A ˅ (B & C) ≡ (A ˅ B) & (A ˅ C)
5. Neelamisseadused:
A & (A ˅ B) ≡ A A˅A&B≡A
6. De Morgani seadused:
¬¬A≡A
8. Liikmete elimineerimise reeglid, kus T on suvaline samaselt tõene valem ja V suvaline
samaselt väär valem:
A&T≡A A&V≡V
A˅T≡T A˅V≡A
1.2 Normaalkujud
Lausemuutujata või selle eitust nimetame literaaliks. Literaali loetakse positiivseks või
negatiivseks vastavalt sellele, kas ta on puhas lausemuutuja või koos eitusega. Ühest
lausemuutujate komplektist kõigi lausemuutujate abil moodustatud literaalide konjunktsiooni
nimetatakse täielikuks elementaarkonjunktsiooniks.
Teoreem 5. Kui valem ei ole samaselt väär, siis leidub tal täielik disjunktiivne
normaalkuju.
Järeldus 1. Kui valem A ei ole samaselt tõene, siis leidub tal täielik konjunktiivne
normaalkuju.
Tõestus. Kui valem A on samaselt tõene, siis valem ¬A on samaselt väär. Eeldusel, et
valem A ei ole samaselt tõene, siis ka valem ¬A ei ole samaselt väär. Seega leidub
valemil ¬A täielik disjunktiivne normaalkuju (Teoreem 5.), mis esitatuna literaalidena
avaldub kujul
¬𝐴 ≡ 𝐿11 & 𝐿12 & … & 𝐿1𝑛 ˅ 𝐿21 & 𝐿22 & … & 𝐿2𝑛 ˅ … ˅ 𝐿𝑚1 & 𝐿𝑚2 & … & 𝐿𝑚𝑛 .
Leides mõlemast poolest eituse, ning viies paremal pool eitused De Morgani seaduste
abil sissepoole teiseneb valem järgmisele kujule: 𝐴 ≡ ¬𝐿11 ˅ ¬𝐿12 ˅ … ˅ ¬𝐿1𝑛 &
¬𝐿21 ˅ ¬𝐿22 ˅ … ˅ ¬𝐿2𝑛 & … & ( ¬𝐿𝑚1 ˅ ¬𝐿𝑚2 ˅ … ˅ ¬𝐿𝑚𝑛 ).
Jättes eeltoodud valemis ära kahekordsed eitused, ongi tulemuseks valemi TKNK.
Definitsioon 1. Hulk on selline objektide kogu, millest saab mõelda kui tervikust (G. Cantor)
ning mis rahuldab järgmisi tingimusi:
Kahte hulka loetakse võrdseteks, kui nad koosnevad ühtedest ja samadest elementidest.
Tavaliselt tähistatakse hulki suurte ladina tähtedega A, B, C jne ning hulga elemente väikeste
ladina tähtedega a, b, c jne.
Kui hulgas on naturaalarvuga võrdne arv elemente, siis nimetatakse seda hulka lõplikus.
Hulka, mis ei ole lõplik ega tühi nimetatakse lõpmatuks.
Näiteid.
Kõigi hulga A alamhulki tähistatakse P(A). Igal hulgal on 2𝑛 alamhulka. Näiteks hulga on A
= {1,2} alamhukadeks P(A) = {{1},{2},{ Ø },{1,2}}.
Hulkade sisalduvusseosel ⊆ on järgmised põhiomadused.
Antisümmeetrilisuse omadust kasutatakse sageli siis, kui on vaja tõestada, et kaks hulka on
võrdsed.
Definitsioon 4. Kahe hulga A ja B ühendiks nimetatakse hulka A ∪ B, mis koosneb nii hulga A kui ka
hulga B elementidest:
A ∪ B = { x : x ∈ A või x ∈ B }
A ∩ B = { x : x ∈ A ja x ∈ B }
1. Idempotentsus:
A∪A=A A∩A=A
2. Kommutatiivsus:
A∪B=B∪A A∩B=B∩A
3. Assotsiatiivsus
(A ∪ B) ∪ C = A ∪ (B ∪ C) (A ∩ B) ∩ C = A ∩ (B ∩ C)
4. Distributiivsus
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
5. Neelduvus
A ∪ (A ∩ B) = A A ∩ (A ∪ B) = A
Omaduste tõestamisel näitame mingi suvalise elemendi x kuulumist vasakusse poolde ning näitame, et kui x
sisaldub vasakus pooles, sisaldub ta ka paremas pooles. Sama ümberpöördult.
Tihti on käsitluses fikseeritud teatav hulk X ja kõik vaadeldavad hulgad on selle hulga
alamhulgad. Sellisel juhul nimetatakse hulka X universaalseks. Nt võib universaalse hulga
rollis olla kõigi reaalarvude hulk, tasandi kõigi punktide hulk jne.
𝐴′ = { 𝑥: 𝑥 ∉ 𝐴 }
1. De Morgani seadused
A’’ = A
∅’ = X A ∪ A’ = X
X’ = ∅ A ∩ A’ = ∅
A \ B = { x : x ∈ A ja x ∉ B }
A ∆ B = { x : ( x ∊ A ja x ∉ B ) või ( x ∉ A ja x ∊ B ) } = { x : x ∊ A \ B või x ∊ B \ A }
2.3.1 Sümmeetrilise vahe omadusi
A∆B=B ∆A A ∩ (B ∆ C) = (A ∩ B) ∆ (A ∩ C)
(A ∆ B) ∆ C = A ∆ (B ∆ C) A ∆ B = (A ∪ B) \ (A ∩ B)
A × B = { (x;y) : x ∊ A ja y ∊ B }
Näide. Kui A = {1, 2, 3} ja B = {a, b}, siis A × B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)}.
A×∅=∅ ∅×A=∅
2. Distributiivsus:
A × (B ∪ C) = (A × B) ∪ (A × C) A × (B \ C) = (A × B) \ (A × C)
A × (B ∩ C) = (A × B) ∩ (A × C)
2.5 Funktsioonid
jam,
Definitsioon 11. Seost F , millega igale hulga A elemendile seatakse vastavusse hulga B
element, nimetatakse funktsiooniks hulgast A hulka B. Tähistatakse f : A → B.
Funktsiooni f : A → B nimetatakse:
Näited.
Omadused:
refleksiivsus: A ~ A
sümmeetrilisus: kui A ~ B, siis B ~ A
transitiivsus: kui A ~ B ja B ~ C, siis A ~ C
Definitsioon 15. Hulka, mis on sama võimsusega nagu naturaalarvude hulk, nimetatakse
loenduvaks hulgaks.
Järelikult on loenduvad parajasti need hulgad, mis on esitatavad erinevate liikmetega lõpmatu
jadana 𝑎1 , 𝑎2 … . Iga lõpmatu hulk sisaldab loenduvat osahulka. Loenduva hulga iga
lõpmatu osahulk on samuti loenduv.
Definitsioon 16. Ütleme, et hulga A võimsus ei ületa hulga B võimsust, kui leidub injektsioon
f : A → B.
Definitsioon 17. Ütleme, et hulga A võimsus on väiksem hulga B võimsusest, kui A võimsus
ei ületa B võimsust, aga A ja B ei ole ekvivalentsed.
Teoreem 1. Hulga P(A) võimsus on suurem kui hulga A võimsus. Tõestus: Kui leiduks
bijektsioon f : A → P(A), siis defineerime hulga B = { x : x ∉ f (x) }. Olgu b selline element,
et f (b) = B. Kui eeldada, et b ∈ B, siis b ∉ f (b) ehk b ∉ B. Kui eeldada, et b ∉ B, siis b ∈ f
(b) ehk b ∈ B.