Sanakirja
Tekoälykääntäjä
Käännöksiä ei löytynyt valitulle kohdekielelle.
Yritit hakea fraasilla, joka sisältää useita sanoja. Parempien hakutulosten saamiseksi kokeile hakea sanoja erikseen: inference, rule
Määritelmät
Substantiivit
- (logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).
Taivutusmuodot
| Monikko | inference rules |