Professional Documents
Culture Documents
Literatura:
1
1. Skupovi.
Pojam skupa jedan je od fundamentalnih pojmova u matematici, a takoñer i pojam s kojim smo se
do sada mnogo puta susreli. Intuitivno, skup zamišljamo kao cjelinu koja sadrži objekte koji su
nam u nekom trenutku od interesa, pa tako u svakodnevnom životu govorimo o skupu ljudi,
skupu zemalja, skupu predmeta i slično, a u matematici o skupovima brojeva, točaka, vektora,
funkcija, matrica i drugih matematičkih objekata. Skup se često zadaje navoñenjem
(ispisivanjem) njegovih članova (elemenata), pri čemu koristimo vitičaste zagrade. Ako je S
skup koji sadrži elemente ∆,⊗,∗ i samo njih, pisat ćemo S = {∆,⊗,∗} .
Meñutim, lako je zamisliti skupove koji imaju vrlo velik broj članova, ili ih čak imaju
beskonačno mnogo. Na primjer, ne možemo ispisati sve prirodne brojeve, pa se snalazimo tako
da skup prirodnih brojeva kratko zapisujemo = {1,2,3,K}. Skupove često zadajemo opisno,
navodeći pravilo, svojstvo po kome ćemo prepoznati pripadnike toga skupa i za svaki objekt bez
dileme utvrditi pripada li tom skupu ili ne. Skup S čiji elementi x (i samo oni) zadovoljavaju
pravilo P( x ) zapisujemo S = {x : P( x )} ili S = {x P( x )}. Svojstava koja zadaju skup može biti i
više, a skup redovito možemo zadati na različite načine.
Intuitivno, ovaj je pristup jasan i logičan. Meñutim, podrobnija analiza otkriva logičke propuste –
intuitivni pristup zna dovesti do paradoksa. Pažljivijem čitatelju recimo, u prethodnom tekstu je
mogla zasmetati tvrdnja da "svojstava koja zadaju skup može biti i više" – znači li ta tvrdnja, na
primjer, da svojstava može biti beskonačno mnogo? Kako ispitati beskonačno mnogo uvjeta?
Zatim, razumljivo je i potrebno da pomoću postojećih skupova izgrañujemo nove skupove: za
zadani skup S promatrat ćemo primjerice skup svih njegovih podskupova, njegov partitivni skup
P ( S ) . Ima li onda smisla definirati skup svih skupova? Paradoks je da onda taj skup kao člana
sadrži i sama sebe.
Otkriće paradoksa u zdravorazumski logičnoj definiciji nečega tako jednostavnog i prirodnog kao
što je skup dovelo je do trenutne apatije u krugovima matematičara: jesu li sami temelji logike
nelogični. Srećom po matematičare, nove generacije matematičara i filozofa aksiomatski su
uredili osnove matematičke logike i teorije skupova, pa su paradoksi izbjegnuti. Srećom po sve
ostale, aksiomatsko zadavanje skupova nije nužno za praćenje pretežnog dijela matematike.
Ni mi se u ovom kolegiju nećemo sustavno baviti aksiomima teorije skupova, upozorit ćemo
samo na osnovne detalje na koje treba paziti kod rada sa skupovima. Intuitivnu teoriju skupova
često nazivaju naivnom teorijom skupova.
2
1.1. Naivna teorija skupova
Skup je intuitivno jasan pojam koji ne definiramo. Skupove obično označavamo velikim, a
njihove elemente malim slovima abecede. Ako skup ne sadrži ni jedan element, kažemo da je
prazni skup i obično ga označavamo znakom φ . Činjenicu da je objekt a element skupa A
zapisujemo a ∈ A . Činjenicu da objekt b nije element skupa A zapisujemo b ∉ A .
Za skup A čiji je svaki element ujedno i element skupa B kažemo da je podskup skupa B , u
oznaci A ⊆ B . U tom je slučaju uobičajeno reći i da je skup B nadskup skupa A , u oznaci
B ⊇ A.
Skup A ćemo smatrati jednakim skupu B ako skup B sadrži sve elemente skupa A i samo
njih. Preciznije, skupovi A i B su jednaki ako vrijede dvije inkluzije, A ⊆ B i B ⊆ A . Ovo
često koristimo u formalnom dokazivanju da su skupovi A i B jednaki. Ako skupovi A i B
nisu jednaki, kažemo da su različiti i pišemo A ≠ B .
Skup svih podskupova nekog skupa S nazivamo partitivnim skupom skupa S i označavamo
P ( S ) (katkad i 2 S ).
1. Kartezijev produkt skupova A i B definiramo kao skup A × B svih ureñenih parova gdje je
prvi član iz skupa A , a drugi član iz skupa B . Precizno, A × B = {(a, b ) : a ∈ A, b ∈ B}.
U nekim slučajevima će svi promatrani skupovi biti podskupovi nekog skupa U . Tada ćemo taj
skup U zvati univerzalnim skupom.
3
Presjek, uniju, razliku, simetričnu razliku i komplement nazivamo operacijama sa skupovima.
Primjer Kako otprije znamo, skupove možemo zorno predočavati Venn – Eulerovim
dijagramima:
( A \ B) ∪ ((B \ C) \ A ) B∆( A ∪ C )
Podsjetimo se: skup prirodnih brojeva {1,2,3, K} označavamo sa . Skup ∪ {0} označavamo s
0 . Skup cijelih brojeva {K ,−3,−2,−1,0,1,2,3, K} označavamo sa . Skup racionalnih brojeva
m
: m ∈ , n ∈ označavamo sa . Skup realnih brojeva označavamo s , a skup
n
kompleksnih brojeva s .
a) A ∩ B = A , b) A ∪ B = B , c) A \ B = φ , d) B c ⊆ A c .
a) A ∪ ( A ∩ B ) = A , b) A ∩ (A ∪ B) = A .
4
Zadatak 4. Skupovi A i B zadovoljavaju uvjete:
Važno: operacija razlike skupova može se zgodno karakterizirati pomoću operacija presjeka i
komplementa: A\B = A ∩ B c . Provjerite i zapamtite.
a) C \ (B \ A ) = ( A ∩ C ) ∪ (C \ B) , b) (B \ A ) ∪ C = (B ∪ C ) ∪ ( A \ C ) ,
c) C \ (A ∩ B) = (C \ A ) ∪ (C \ B) , d) A \ B = A∆( A ∩ B ) .
5
Zadatak 7. Neka su A, B, C, D proizvoljni skupovi. Pojednostavnite izraze:
(
a) A ∩ A c ∪ B , ) b) ( A ∩ B ∩ C ) ∪ ( A ∩ B ∩ C ∩ D ) ∪ (A ∩ A c ) ,
c) (A ∩ ( A ∪ B ))
c c
d) ( A ∪ B ) ∩ ( A ∪ B c ) ∩ (A c ∪ B ) ∩ ( A c ∪ B c ) .
Zadatak 8. Odredite jesu li sljedeće izjave istinite i pojasnite zašto:
a) x ∈ {{x}, φ } , b) {x}∈ {{x}, φ } , c) {x} ⊆ {{x}, φ },
d) {{x}, φ } = {{x}} , e) {x} ⊆ {{x}, x}, f) {{x}, φ } ⊆ {x}.
( A ∪ (B ∩ C )) \ (B c ∩ C ) = (A \ ((B ∩ C c ) ∪ (B c ∩ C c ))) ∪ (B ∩ C ) .
a) ( A ∪ B ) \ (C ∪ A ) i B \ (A ∪ C ) , b) ( A \ B ) \ ( A \ C ) i (A ∩ C ) \ B ,
c) ( A ∪ B ) ∩ ( A ∪ C ) i (B ∩ C ) ∪ A , d) ( A ∩ (B ∪ C )) \ B i (A ∩ C ) \ B .
Zadatak 13. Neka je skup S = {2, {4,5},4}. Odredite koje su od sljedećih tvrdnji istinite i zašto:
a) {4,5} ⊂ S , b) {5}∈ S , c) {{4,5}} ⊂ S , d) 5 ∈ S , e) {5}∈ S , f) {5} ⊆ S .
Zadatak 14. Neka su zadani skupovi A = {1,2} , B = {{1,2,3}, {1,3},1,2}. Vrijedi li tvrdnja A ∈ B ?
Vrijedi li tvrdnja A ⊆ B ? Odredite skupove A ∪ B , A ∩ B , A \ B , B \ A .
6
Through the Looking Glass
by
Lewis Carroll
CHAPTER VIII
"It's long," said the Knight, "but it's very, very beautiful.
Everybody that hears me sing it--either it brings the tears
into their eyes, or else--"
"Or else what?" said Alice, for the Knight had made a
sudden pause.
"Oh, that's the name of the song, is it?" Alice said, trying
to feel interested.
"Then I ought to have said 'That's what the song is called?'" Alice corrected herself.
"No, you oughtn't: that's quite another thing! The song is called 'Ways and Means': but that's only
what it's called, you know!"
"Well, what is the song, then?" said Alice, who was by this time completely bewildered.
"I was coming to that," the Knight said. "The song really is 'A-sitting on a Gate': and the tune's
my own invention."
7
1.2. Pojam funkcije
Neka su D i K neprazni skupovi. Pravilo f koje svakom elementu skupa D pridruži točno
jedan element skupa K naziva se preslikavanje ili funkcija sa skupa D u skup K i kraće
označava f : D → K . Skup D nazivamo područje definicije ili domena funkcije f , a skup K
područje vrijednosti ili kodomena funkcije f .
Primjer 1.
Neka su A ⊆ D i B ⊆ K .
8
Primjer 2: Koja su od ovih pravila pridruživanja funkcije?
9
Zadatak 1. Neka je f : X → Y i neka su A, B ⊆ X , C , D ⊆ Y . Dokažite da vrijedi:
a) f ( A ∪ B ) = f ( A ) ∪ f (B ) ,
b) f ( A ∩ B ) ⊆ f ( A) ∩ f (B ) i obrat ne vrijedi,
c) f ( A \ B ) ⊇ f ( A) \ f (B ) i obrat ne vrijedi,
d) f −1 (C ∪ D ) = f −1 (C ) ∪ f −1 (D ) ,
e) f −1 (C ∩ D ) = f −1 (C ) ∩ f −1 (D ) ,
f) f −1 (C \ D ) = f −1 (C ) \ f −1 (D ) .
Očito vrijedi ∀x ∈ D, f −1 ( f ( x )) = x ; ∀y ∈ K , f ( f −1 ( y )) = y .
10
Zadatak 3 Funkcije f : → zadane su izrazima:
n + 2
a) f (n ) = n − 4 , c) f (n ) =
b) f (n ) = 3n + 5 , .
2
Ispitajte jesu li ove funkcije bijekcije i ako jesu, odredite im inverzne funkcije.
11
Zadatak 7 Zadane su funkcije f , g : → , f ( x )) = ax + b , g ( x ) = cx + d , gdje su
a, b, c, d ∈ . Uz koji uvjet će biti g o f = f o g ?
e x − e−x
Zadatak 10. Neka je zadana funkcija f : → f ( ) , f (x ) = . Odredite skup f ( ) .
e x + e −x
Dokažite da je f bijekcija i odredite joj inverznu fukciju.
12
1.3. Aksiomatska teorija skupova - reference
Generalno, skup zadajemo ispisivanjem njegovih elemenata ili navoñenjem svojst(a)va koja ga
potpuno karakteriziraju, A = {a P (a )}. Pokazuje se, meñutim da ovaj intuitivno ispravan logički
pristup, dovodi do čitavog niza paradoksa, koji su u početku fundiranja teorije skupova (koncem
19. i početkom 20. stoljeća) uzdrmali same temelje matematike, da bi matematičari nakon toga
razvili nova i suptilna pravila klasifikacije u teoriji skupova i samoj matematičkoj logici.
Neki od povijesno važnih paradoksa vezanih za matematičku logiku i teoriju skupova su:
Berryjev paradoks: Promatramo sve prirodne brojeve koje je moguće opisati s manje od trinaest
riječi. Svi ostali prirodni brojevi spadaju dakle u kategoriju brojeva koje nije moguće opisati s
manje od trinaest riječi. Odredimo sada najmanji prirodni broj koji nije moguće opisati s manje
od trinaest riječi. ;-)
Paradoks brijača: Vojnom brijaču je nareñeno da brije samo one vojnike u četi koji se ne briju
sami. Problem – ako se ne brije, mora se obrijati, a to ne smije kad se brije sam.
Ovo nas upozorava da bismo trebali biti pažljivi u zadavanju skupova navoñenjem svojstava,
pogotovo kada je nejasno da li objekti koje promatramo uopće čine skup (svakako treba
izbjegavati nekritičke formulacije poput: ”skup svih skupova koji…”). Upravo zato, matematičari
katkad umjesto pojma skupa koriste pojam klase (”neka je C klasa svih skupova koji…”).
Većina poznatih paradoksa uglavnom je riješena aksiomatizacijom teorije skupova (postoji više
različitih sistema aksioma, ali je najčešće korištena tzv. ZFC aksiomatika, tj. sistem aksioma
Zermela i Fraenkela, s uvažavanjem tzv. aksioma izbora), tako da, iako još postoje ozbiljni
problemi i nejasnoće, oni se ne tiču goleme većine ”mainstream” matematičkih teorija i
matematičara i rezervirani su samo za istraživače u području matematičke logike.
(U aksiomatici ZFC je problem Russellova paradoksa izbjegnut aksiomom koji kaže: ako je U
skup, a P bilo kakvo svojstvo, onda je A = {a ∈ U P(a )} skup. Jedan drugi aksiom kao posljedicu
ima da skup ne može biti vlastiti element, tj. da za svaki skup A vrijedi A ∉ A , tj. da ”skup svih
skupova” ne postoji).
Ne mogu, doduše, odoliti, da vam ne omogućim baciti pogled na aksiome ZFC – teorije (ne skroz
formalno zapisane).
Web - izvor: http://www.ece.northwestern.edu/~nickle/310/
13
14
Do sada smo govorili u uniji, presjeku i Kartezijevom produktu dva, tri, ili općenito n∈
skupova. Vrijeme je da tu definiciju još proširimo.
- skupovi Ai su neprazni,
- skupovi Ai su u parovima disjunktni, tj. Ai ∩ A j = φ za sve i ≠ j ,
- UA i =U .
i∈I
Primjer: Skup prirodnih brojeva može se rastaviti na parne i neparne brojeve, skup cijelih brojeva
na pozitivne cijele, nulu i negativne cijele brojeve. Pokažite da je jedna particija skupa familija
skupova ( n, n + 2], n ∈ ) . Napišite još nekoliko particija poznatih skupova.
15
1.4. Ekvipotentnost skupova
Kardinalni broj konačnog skupa poistovjećujemo s brojem elemenata tog skupa. To ima smisla,
jer konačni skupovi su ekvipotentni ako i samo ako imaju jednak broj elemenata. Kardinalni broj
konačnog skupa je dakle broj njegovih elemenata – kardinalni broj praznog skupa je 0, kardinalni
broj skupa {1,5,8} je 3, itd.
Ako je beskonačan skup ekvipotentan sa skupom prirodnih brojeva, kažemo da je prebrojiv ili
prebrojivo beskonačan. To posebno znači da mu elemente možemo poredati u niz. Kardinalni
broj prebrojivog skupa S označavamo sa S = ℵ0 (alef nula).
16
Zadatak 6. Dokažite da su skupovi 3== {3n : n ∈ } i 2= = {2n : n ∈ } ekvipotentni tako što
ćete konstruirati bijekciju izmeñu njih.
Zadatak 7. Dokažite da su skupovi 3= = {3n : n ∈ } i 5== {5n : n ∈ } ekvipotentni tako što
ćete konstruirati bijekciju izmeñu njih.
Zadatak 8. Odredite kardinalni broj skupa svih prirodnih brojeva s neparno mnogo znamenaka.
m
Ekvipotentnost i slijedi iz ekvipotentnosti i + = : m, n ∈ , a nju dokazujemo
n
+
tako da elemente skupa poredamo u niz pomoću idućeg dijagrama (duplikate ignoriramo):
17
Teorem 3. Tzv. Cantorov dijagonalni postupak korišten u dokazivanju prebrojivosti skupa
možemo koristiti i u dokazima slijedećih tvrdnji:
Zadatak 9. Dokažite:
Posljedica: Skup iracionalnih brojeva (tj. realnih brojeva koji nisu racionalni) nije prebrojiv.
Zadatak 10. Pokažite da je partitivni skup skupa prirodnih brojeva ekvipotentan skupu realnih
brojeva, tj. P () ~ .
18
Napomena Suprotno vlastitom očekivanju, Cantor je pokazao i da je skup točaka kvadrata
0,1 × 0,1 ekvipotentan skupu točaka intervala 0,1 , a tako je i sa skupom točaka kocke
0,1 × 0,1 × 0,1 . Može se dokazati da je za svako n ∈ skup 0,1
n
ekvipotentan skupu 0,1 ,
tj. . Ovo naravno znači i da su skupovi i ekvipotentni za svako n ∈ .
n
(Skica dokaza)
19
Posljedica Skup je beskonačan ako i samo je ekvipotentan sa nekim svojim pravim podskupom.
Zadatak 12. Odredite kardinalni broj skupa svih aritmetičkih nizova cijelih brojeva.
Zadatak 13. Odredite kardinalni broj skupa svih konačnih nizova cijelih brojeva.
Zadatak 14. Realni broj nazivamo algebarskim ako je nultočka nekog polinoma s cjelobrojnim
koeficijentima. Pokažite da je skup svih algebarskih brojeva (tj. skup svih nultočki polinoma s
cjelobrojnim koeficijentima) prebrojiv skup.
Zadatak 15. Realni brojevi koji nisu algebarski, nazivaju se transcendentni. Pokažite da je skup
transcendentnih brojeva neprebrojiv.
Zadatak 16. Kompjutorski program (u nekom simboličkom jeziku) je konačan niz simbola nekog
konačnog alfabeta. Dokažite da je skup svih kompjuterskih programa tog simboličkog jezika
prebrojiv.
Zadatak 18. Funkciju f : → nazovimo izračunjivom, ako postoji kompjuterski program koji
računa njene vrijednosti. Pokažite da postoje funkcije koje nisu izračunjive.
Zadatak 19. Odredite kardinalni broj skupa svih kvadratnih realnih matrica reda 2, čije je
determinanta jednaka 1.
Zadatak 20. Odredite kardinalni broj skupa svih simetričnih realnih matrica reda 2. (Kvadratna
matrica je simetrična ako je AT = A ).
Zadatak 21. Obrazložite je li skup svih polinoma stupnja ne većeg od 2, s koeficijentima iz skupa
prebrojiv ili neprebrojiv.
20
Zadatak 22. Odredite kardinalni broj skupa svih elemenata segmenta [0,1] koji u zapisu nemaju
znamenku 2.
Zadatak 23. Odredite kardinalni broj skupa svih zatvorenih segmenata realnih brojeva, čija je
duljina racionalan broj.
21
2. Uvod u matematičku logiku
Sud (iskaz) je svaka suvisla izjavna rečenica kojoj možemo utvrditi je li istinita ili lažna. Sud ne
može biti istovremeno istinit i lažan.
Kao i u svakodnevnom jeziku, sudove (rečenice) možemo negirati i povezivati veznicima, kako
bismo dobili složenije. Tako dolazimo do osnovnih logičkih (Booleovih) operacija pomoću kojih
iz jednostavnijih dobivamo složenije sudove.
Booleove operacije sa sudovima definiraju se pomoću tablica istinitosti (ili semantičkih tablica).
22
Negacija suda A je sud kojeg označavamo ¬A i čitamo "ne A " ili "non A ". Sud ¬A je istinit
samo ako je sud A lažan (i obrnuto). Pripadna tablica istinitosti je:
A ¬A
T ⊥
⊥ T
A B A∧ B
T T T
T ⊥ ⊥
⊥ T ⊥
⊥ ⊥ ⊥
A B A∨ B
T T T
T ⊥ T
⊥ T T
⊥ ⊥ ⊥
Implikacija sudova A i B je sud kojeg označavamo A ⇒ B i čitamo " A povlači B " ("ako je
A , onda je B "). Sud A ⇒ B je lažan samo ako je sud A istinit, a sud B lažan. Pregledno,
A B A⇒ B
T T T
T ⊥ ⊥
⊥ T T
⊥ ⊥ T
23
A B A⇔ B
T T T
T ⊥ ⊥
⊥ T ⊥
⊥ ⊥ T
Uočite, negacija je unarna logička operacija (odnosi se na jedan sud), a ostale navedene su
binarne logičke operacije sa sudovima (odnose se na dva suda).
Kombiniranjem ovih logičkih operacija nastaju formule računa sudova (složeni sudovi).
Formalnije, neka je S1 = {A1 , A2 ,K} prebrojiv skup simbola, čije elemente nazivamo
propozicionalne varijable, neka je S 2 = {¬,∧,∨, ⇒, ⇔} skup logičkih veznika i neka je
S 3 = {), (} skup pomoćnih simbola (zagrada). Skup S = S1 ∪ S 2 ∪ S 3 nazivamo alfabet računa
sudova.
Formule računa sudova su riječi koje gradimo korištenjem alfabeta računa sudova. Naravno, u
grañenju formula računa sudova iz simbola služimo se nekim pravilima: riječ A ⇒)) neće biti
formula. Tri su pravila za izgradnju formula računa sudova:
Kako bismo pojednostavnili pisanje, uvodimo prioritet logičkih operacija, smatrajući da najveću
snagu vezivanja ima ¬ , zatim ∧ , nakon njega ∨ i na kraju (iste snage) ⇒ i ⇔ . To nam
omogućuje da npr. umjesto (((¬A) ∧ B ) ⇒ C ) kraće pišemo ¬A ∧ B ⇒ C .
24
Logičke operacije ¬,∧,∨, ⇒, ⇔ nisu jedine koje imaju svoje ime i simbol. Spomenut ćemo još tri
binarne logičke operacije.
Ekskluzivna disjunkcija sudova A i B je sud kojeg označavamo A∨B . Sud A∨B je istinit
ako je jedan od sudova A i B istinit, ali ne oba. Pregledno,
A B A∨B
T T ⊥
T ⊥ T
⊥ T T
⊥ ⊥ ⊥
A B A↑ B
T T ⊥
T ⊥ T
⊥ T T
⊥ ⊥ T
A B A↓ B
T T ⊥
T ⊥ ⊥
⊥ T ⊥
⊥ ⊥ T
Zadatak 1. Koristeći tablice istinitosti, ispišite sve unarne i sve binarne operacije sa sudovima.
25
Zadatak 3. Konstruirajte tablice istinitosti za ove složene sudove:
a) A ⇒ A ∨ ( A ∧ B ) , b) A ⇒ (B ⇒ C ) , c) ( A ⇒ B ) ⇒ C , d) ( A ⇒ B ) ⇒ (B ⇒ C ) ,
e) A ∧ ( A ⇒ B ) ⇒ B , f) A ∧ B ⇒ A , g) B ⇔ ¬A ∨ ¬B , h) ( A ∨ (¬B ∧ C )) ⇒ D .
Vrijeme je da popišemo osnovna svojstva operacija ¬,∧,∨ , ⇒, ⇔ . Ovo će nam pomoći da lakše
baratamo formulama i kraće ih zapisujemo.
A ⇒ B ≡ ¬A ∨ B ¬( A ⇒ B ) ≡ A ∧ ¬B A ⇔ B ≡ ( A ⇒ B ) ∧ (B ⇒ A)
A∨B ≡ ¬( A ⇔ B ) A ⇒ B ≡ ¬B ⇒ ¬A ¬( A ⇔ B ) ≡ ¬A ⇔ B
26
Zadatak 5. Provjerite, služeći se tablicama istinitosti ili svojstvima Booleovih operacija iz
Teorema 1 vrijede li tvrdnje:
a) A ∧ ¬( A ∧ ¬B ) ≡ A ∧ B , b) ¬A ⇔ B ≡ A ⇔ ¬B , c) A ⇒ (B ∧ C ) ≡ ( A ⇒ B ) ∧ ( A ⇒ C ) ,
d) A ∧ ¬(B ∧ C ) ≡ ¬( A ⇒ B ) ∨ ( A ∧ ¬C ) , e) A ∧ (B ∨ (C ∧ D )) ≡ ( A ∧ B ) ∨ ( A ∧ C ∧ D ) ,
f) ¬( A ⇒ B ) ≡ ¬A ⇒ ¬B , g) ( A ∧ B ) ⇒ C ≡ ( A ⇒ C ) ∨ (B ⇒ C ) , h) ( A ∨ B ) ∧ C ≡ A ∨ (B ∧ C ) .
27
Logičke operacije možemo zadavati na dva načina: navoñenjem njihove tablice istinitosti, ili
zapisivanjem u obliku neke formule računa sudova. Svaka se logička operacija tako može
zapisati korištenjem osnovnih logičkih operacija ¬,∧,∨, ⇒, ⇔ . Naravno, kako je operacije
⇒, ⇔ moguće prikazati pomoću operacija ¬,∧,∨ , izlazi da je svaku logičku operaciju moguće
izraziti preko ¬,∧,∨ .
Sustav izvodnica (generatora) računa sudova je skup Booleovih operacija računa sudova (s
proizvoljnim brojem varijabli) pomoću kojih se može prikazati bilo koja formula računa sudova.
Od interesa su baze računa sudova – minimalni sustavi izvodnica računa sudova, tj. sustavi
izvodnica čiji nikoji pravi podskup više nije sistem izvodnica. Očito je {∧,∨, ¬} sustav izvodnica
računa sudova, ali nije baza, jer su sustavi izvodnica i skupovi {∧, ¬} , {∨, ¬}. Pokažite da su ta
dva skupa baze. Može se pokazati da su {↑} i {↓} takoñer baze računa sudova.
A B A⊗B
T T ⊥
T ⊥ T
⊥ T ⊥
⊥ ⊥ ⊥
Zadatak 10. Zadan je skup {∨, ⇔, ∨}. Dokažite da je taj skup sustav izvodnica računa sudova. Je
li i baza? Pomoću operacija iz skupa, prikažite formulu ( A ⇒ B ) ↑ (B ⇒ A) .
28
Tautologija ima beskonačno mnogo (dokažite to!). Osnovne tautologije kojima se obično
služimo:
Zadatak 11. Dokažite da se zaista radi o tautologijama. Za svako od pravila, smislite primjere koji
ga ilustriraju.
a) A ⇒ ( A ∨ B ) , b) (¬( A ⇒ B ) ∧ (C ⇔ D )) ⇒ (E ⇒ F ) , c) A ⇒ (B ∧ (C ∨ D )) , d) A ⇒ (B ⇒ A) ,
e) ( A ⇒ (B ⇒ C )) ⇒ (( A ⇒ B ) ⇒ ( A ⇒ C )) , f) [( A ⇒ B ) ∧ (C ⇒ B )] ⇔ [( A ∨ C ) ⇒ B ] ,
g) (( A ∧ ¬B ) ⇒ B ) ⇒ ( A ⇒ B ) , h) [A ⇒ (B ⇒ C )] ⇔ [( A ∧ B ) ⇒ C ] .
Skupovi Ac A∩ B A∪ B A∆B U φ
Sudovi ¬A A∧ B A∨ B A∨B T ⊥
Naslućujemo da su račun sudova i teorija skupova manifestacije istih apstraktnih principa, koje
ćemo sada pokušati definirati.
29