Sanakirja
Tekoälykääntäjä
Käännöksiä ei löytynyt valitulle kohdekielelle.
Määritelmät
Substantiivi
- (logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).
Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: Skolem, function
Samankaltaisia sanoja
Taivutusmuodot
| Monikko | Skolem functions |