-priručnikdoc.dr.sc

Pregled sadržaja
v
13.1 Taj 131
13.2 Oba 132
13.3 Presupozicije 133
14 Logika generalizirane kvantifikacije 137
14.1 Logička svojstva determinatora 137
14.2 Logička gramatika 140
15 Teorija skupova 148
15.1 Osnovni rječnik teorije skupova 148
15.2 Jezik za različite vrste predmeta 149
15.3 Dva osnovna aksioma naivne teorije skupova 149
15.4 Jednočlani skupovi, prazni skup, podskupovi 152
15.5 Presjek i unija 155
15.6 Digresija: konzistentnost 158
16 Skupovi skupova 161
16.1 Ure ¯deni parovi 161
16.2 Modeliranje relacija u teoriji skupova 163
16.3 Svojstva za odnose 164
16.4 Partitivni skup 171
16.5 Russellov paradoks 175
16.6 Zermelo Fraenkel teorija skupova 178
17 Matematička indukcija 187
17.1 Malo povijesti "nematematičke" indukcije 187
17.2 Kako matematička indukcija može opravdati općenitu
konkluziju koja se odnosi na beskonačan broj slučajeva? 188
17.3 Induktivni dokaz 189
18 Potpunost sustava prirodne dedukcije za propozicijsku logiku 194
18.1 Dodjelivanje istinitosne vrijednosti i istinitosne tablice 194
19 Potpunost propozicijske logike 197
19.1 Formalna konzistentnost 197
19.2 Strategija dokazivanja reformuliranog Teorema potpunosti 200
19.3 Potpunost formalno potpunog skupa rečenica 201
19.4 Proširenje na formalno potpune skupove rečenica 203
19.5 Sve zajedno: dokaz potpunosti 204
20 Strukture prvog reda 206