 |
| |||
| Produktionsregel f (ssn); Ableitungsregel f (ssn); Inferenzregel f (ssn); Schlußregel f (ssn) | |||
| Schlußfolgerungsregel f | |||
| Ableitungsregel f (in einem formalen System) | |||
| Angielski tezaurus | |||
| |||
| rule of derivation (ssn); deduction rule (ssn); derivation rule (ssn); inference rule (ssn) | |||
