 |
| |||
| modus ponens (ssn) | |||
| deduction rule; rule of derivation; rewrite rule (ssn); rules of inference | |||
| derivation rule (A rule to determine a classifier for classifying the financial consequences of an accounting event) | |||
| production rule | |||
| inference rule; production | |||
| derivation rule; rule of inference (логического) | |||
| |||
| inference rule | |||
| Rosyjski tezaurus | |||
| |||
| правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний формул, называемым посылками, и одним определенным высказыванием формулой, называемым логическим следствием из этих посылок. Большой Энциклопедический словарь | |||
| правило вывода: 22 do fraz, 9 tematyki |
| Elektronika | 2 |
| Językoznawstwo | 1 |
| Komputery | 1 |
| Makarowa | 4 |
| Microsoftu | 2 |
| Programowanie | 4 |
| Sztuczna inteligencja | 4 |
| Technologia informacyjna | 3 |
| Zautomatyzowany sprzęt | 1 |