-
1 опровержимая формула
Большой англо-русский и русско-английский словарь > опровержимая формула
-
2 refutable formula
-
3 refutable formula
опровержимая (логическая) формулаБольшой англо-русский и русско-английский словарь > refutable formula
-
4 refutable formula
English-Russian dictionary of computer science and programming > refutable formula
См. также в других словарях:
опровержимая формула — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN reputable formula … Справочник технического переводчика
ОПРОВЕРЖИМАЯ ФОРМУЛА — формально опровержимая в данной системе формула, замкнутая формула данной системы, отрицание к рой выводимо в этой системе. В. Н. Гришин … Математическая энциклопедия
НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как … Философская энциклопедия
