Terms for subject Mathematics containing 推断

Chinese	Russian
不可推断性证明	доказательство невыводимости
可推断公式	выводимая формула
命题推断	пропозициональный вывод
命题推演命题推断	пропозициональный вывод
形式推断	формальный вывод
狭义可推断	выводимость в узком смысле
置信推断	фидуциальный вывод