Значение слова «доказуемый»
-
ДОКАЗУ́ЕМЫЙ, -ая, -ое; -зу́ем, - а, -о. Такой, который может быть доказан. Доказуемое положение.
Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека
-
доказу́емый
1. такой, который можно доказать
Источник: Викисловарь
-
ДОКАЗУ'ЕМЫЙ, ая, ое; -ем, а, о (книжн.). Такой, что можно доказать. Доказуемое положение. Это вполне доказуемо.
Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Со временем я обязательно пойму, как устроен ваш мир.
Вопрос: бумага — обозначает ли то, что существует в физическом мире как материальная сущность (человек, животное, растение, предмет, вещество или конкретное место)?
Синонимы к слову «доказуемый»
Предложения со словом «доказуемый»
- Однако его документы были скудны, а просто отбросить доказуемые результаты работы одними диалектическими трюками было невозможно.
- Между тем вполне доказуемым и, более того, повсеместно наблюдаемым следствием стремительного и повсеместного распространения технологий формирования сознания является драматическое снижение социальной значимости знания.
- Но на данный момент это трудно доказуемые гипотезы.
- (все предложения)
Цитаты из русской классики со словом «доказуемый»
- И все недоказуемое и непосредственное оказывается тверже доказуемого и выведенного.
- (все цитаты из русской классики)
Понятия, связанные со словом «доказуемый»
-
Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —
-
Доказательство «от противного» (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
-
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
-
Лемма разветвления (англ. Forking lemma) — лемма в области криптографических исследований.
-
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
- (все понятия)
Отправить комментарий
Предложения со словом «доказуемый»
Однако его документы были скудны, а просто отбросить доказуемые результаты работы одними диалектическими трюками было невозможно.
Между тем вполне доказуемым и, более того, повсеместно наблюдаемым следствием стремительного и повсеместного распространения технологий формирования сознания является драматическое снижение социальной значимости знания.
Но на данный момент это трудно доказуемые гипотезы.
- (все предложения)