Sanakirja
Tekoälykääntäjä
| Käännös | Konteksti | |
|---|---|---|
| Substantiivit | ||
| 1. | logiikka | |
Määritelmät
Substantiivit
- (logiikka) operaattori joka sitoo väitteen joukkoon universaalisesti (∀) tai eksistentiaalisesti (∃)
Esimerkit
- ∀x P(x) tarkoittaa ”kaikilla x pätee P(x)”
- ∃x P(x) tarkoittaa ”on olemassa x siten, että P(x)”
Taivutusmuodot
| Monikko | kvanttorit | Genetiivi | kvanttorin |
| Monikon genetiivi | kvanttorien | Monikon genetiivi | kvanttoreiden |
| Monikon genetiivi | kvanttoreitten | Partitiivi | kvanttoria |
| Monikon partitiivi | kvanttoreita | Monikon partitiivi | kvanttoreja |
| Inessiivi | kvanttorissa | Monikon inessiivi | kvanttoreissa |
| Elatiivi | kvanttorista | Monikon elatiivi | kvanttoreista |
| Illatiivi | kvanttoriin | Monikon illatiivi | kvanttoreihin |
| Adessiivi | kvanttorilla | Monikon adessiivi | kvanttoreilla |
| Ablatiivi | kvanttorilta | Monikon ablatiivi | kvanttoreilta |
| Allatiivi | kvanttorille | Monikon allatiivi | kvanttoreille |
| Essiivi | kvanttorina | Monikon essiivi | kvanttoreina |
| Translatiivi | kvanttoriksi | Monikon translatiivi | kvanttoreiksi |
| Monikon instruktiivi | kvanttorein | Abessiivi | kvanttoritta |
| Monikon abessiivi | kvanttoreitta | Monikon akkusatiivi | kvanttorit |