Olemasolukvantor

Allikas: Vikipeedia

Olemasolukvantor on predikaatloogikas sümbol ∃, mille abil saab väljendada mingite omadustega objekti olemasolu. Seda loetakse näiteks "eksisteerib" või "mõne ... korral".

[redigeeri] Vaata ka

Personaalsed tööriistad
Nimeruumid

Variandid
Toimingud
Navigeerimiskast
Trüki või ekspordi
Tööriistad
Teistes keeltes