- доказуемость
- доказ'уемость, -и
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
доказуемость
Смотреть что такое "доказуемость" в других словарях:
ДОКАЗУЕМОСТЬ — ДОКАЗУЕМОСТЬ, доказуемости, мн. нет, жен. (книжн.). отвлеч. сущ. к доказуемый. Доказуемость теоремы. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 … Толковый словарь Ушакова
доказуемость — ДОКАЗУЕМЫЙ, ая, ое; ем (книжн.). Такой, к рый может быть доказан. Д. тезис. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 … Толковый словарь Ожегова
доказуемость — сущ., кол во синонимов: 1 • обоснованность (27) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
доказуемость — см.: Доказательство … Словарь терминов логики
Доказуемость — ж. отвлеч. сущ. по прил. доказуемый Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
доказуемость — доказуемость, доказуемости, доказуемости, доказуемостей, доказуемости, доказуемостям, доказуемость, доказуемости, доказуемостью, доказуемостями, доказуемости, доказуемостях (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») … Формы слов
Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
доказуемость — см. доказуемый; и; ж. Доказу/емость теоремы. Доказу/емость вины … Словарь многих выражений
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
