Значение слова «доказуемый»

  • ДОКАЗУ́ЕМЫЙ, -ая, -ое; -зу́ем, - а, -о. Такой, который может быть доказан. Доказуемое положение.

Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека

  • доказу́емый

    1. такой, который можно доказать

Источник: Викисловарь

  • ДОКАЗУ'ЕМЫЙ, ая, ое; -ем, а, о (книжн.). Такой, что можно доказать. Доказуемое положение. Это вполне доказуемо.

Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: тесачок — это что-то нейтральное, положительное или отрицательное?

Нейтральное
Положительное
Отрицательное
Не знаю

Предложения со словом «доказуемый»

Цитаты из русской классики со словом «доказуемый»

Понятия, связанные со словом «доказуемый»

  • Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения —
  • Доказательство «от противного» (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
  • Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
  • Лемма разветвления (англ. Forking lemma) — лемма в области криптографических исследований.
  • Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
  • (все понятия)

Отправить комментарий

@
Смотрите также

Предложения со словом «доказуемый»

  • По мере накопления опыта у вас выработается умение заранее отличать доказуемые вещи от недоказуемых.

  • Однако его документы были скудны, а просто отбросить доказуемые результаты работы одними диалектическими трюками было невозможно.

  • И даже если принять за основу гипотезу о связи этих насечек с лунным циклом, сложно высказать более или менее доказуемое предположение о том, как они использовались на самом деле.

  • (все предложения)

Синонимы к слову «доказуемый»

Морфология

Правописание

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я