propositional | inference
| inference | |
| gen. | вывод; заключение; выведение; предположение; следствие |
| automat. | умозаключение |
| IT | логический вывод |
| Makarov. | процесс логического умозаключения |
| robot. | заключение; умозаключение |
|
propositional : 109 phrases in 13 subjects |
| Artificial intelligence | 5 |
| Computer graphics | 2 |
| Computers | 2 |
| Electronics | 5 |
| Information technology | 6 |
| Linguistics | 8 |
| Logic | 10 |
| Mathematics | 55 |
| Philosophy | 1 |
| Physics | 1 |
| Programming | 9 |
| Psychology | 2 |
| Technology | 3 |