Russian | English |
по формальным правилам | according to formal rules (Alex_Odeychuk) |
правило вывода | modus ponens (ssn) |
правило умозаключения | rule of inference |
правило фрейма | frame rule (Ключевым для локальных рассуждений является введённое О’Хирном правило фрейма, в котором никакая свободная переменная не изменяется под влиянием команды. Alex_Odeychuk) |