 |
| Russian | English |
| автоматизированное построение логических рассуждений | automated reasoning (Alex_Odeychuk) |
| логическое рассуждение | ratiocination (the proposition arrived at by logical reasoning [such as the proposition that must follow from the major and minor premises of a syllogism]) |
| построение логических рассуждений | reasoning (IBM Alex_Odeychuk) |