Tipkovnice
v formalni logiki formula
it logica proposizionale
del formalne logike, raziskuje zveze med izjavami
en statement
slizjavna logika
sl izjavna spremenljivka; izjavne spremenljivke
sl predikatna konstanta, izjavna konstanta
sl predikatna logika, izjavna logika
sl izjavna konstanta
sl izjavna interpretacija
Obvestilo o uporabi piškotkov
Trenutno imate izkljopljeno uporabo ne-nujnih piškotkov.
Ta stran uporablja piškotke. Z nadaljevanjem uporabe te strani soglašate z uporabo nujnih piškotkov. Za ne-nujne piškotke podajte izrecno soglasje.
Več o piškotkih
Dostopnost
Dostopnost