Sanakirja
Tekoälykääntäjä
Synonyymit
| Käännös | Konteksti | |
|---|---|---|
| Substantiivit | ||
| 1. | 形式的体系 (keishiki-teki-taikei) | logiikka |
| 2. | 形式体系 (keishiki-taikei) | logiikka |
Määritelmät
Substantiivit
- (logic) The grouping of a formal language and a set of inference rules and/or axioms.
Taivutusmuodot
| Monikko | formal systems |