-priručnikdoc.dr.sc

2.1 Dokazi u kojima se koristi simbol za identitet 13
drukčije ne da se zamisliti.
w1
w2
w3
Primjer 2.2 Ekstenzija predikata VećeOd može se mijenati ovisno o «svijetu». U
svijetu w1: a je veće od b. U svijetu w2 nema ničega što bi bilo veće od nečeg drugog. U
svijetu w3: b je veće od a. U svakom svijetu u kojemu se javljaju a i b vrijedi da je a = a
i b = b. Ni u jednom svijetu ne vrijedi da je a veće od a, bilo da je b veće od b. Relacija
Identitet je refleksivna, relacija VećeOd je irefleksivna.