Matematika

Partitivni skup je skup svih podskupova zadanog skupa.

Permutacija je bijekcija na nekom skupu.

Skup A je pravi podskup od B ako je A podskup od B i B sadrži barem jedan element koji nije sadržan u A.

Skup je prebrojivo beskonačan ako i samo ako ima kardinalni broj jednak kardinalnom broju skupa prirodnih brojeva.

Skup je prebrojiv ako i samo ako je konačan ili prebrojivo beskonačan.

Predikat je rečenica koja sadrži tvrnje o nepoznatim veličinama koje postaju sudovi kad se odrede (specificiraju) te nepoznate veličine.

Presjek skupova A i B je skup svih elemenata koji pripadaju skupu A i skupu B.

Neka su matrice dane sa (tj. matrice su ulančane). Produkt matrica A i B je matrica C formata (m,l) za čije elemente vrijedi

Neka je . Produkt matrice A i realnog broja k je matrica takva da je

Nađemo li da tvrdnja ne vrijedi za dani primjer tada zaključujemo da tvrdnja   općenito nije istinita.