Cтраница 1
Доказательство истинности этих утверждений может быть, как и ранее, получено путем сведения к законам операций над действительными числами. Для этого может быть использована сокращенная форма записи матриц. [1]
Доказательство истинности утверждения А ( п) при n k называют базой индукции, а доказательство того, что из истинности утверждения для n т следует его истинность для n т 1, называют индукционным шагом. [2]
В доказательство истинности или ложности тезиса мы приводим другие мысли, так называемые доводы или основания доказательства. Это должны быть такие мысли: а) которые считаем верными не только мы сами, но и тот человек или те люди, кому мы доказываем и б) из которых вытекает, что тезис истинен или ложен. Конечно, если мы приведем такой довод, который наш собеседник не признает верным, то это будет промах. Нужно будет или доказать истинность самого этого довода, а потом уже опираться на него при доказательстве тезиса; или же искать другого, более удачного довода. Бог велит, то такой довод будет годиться только для верующего. Если же человек не верит в Бога, а я приведу ему этот довод, то, конечно, ничего ему не докажу. Затем, как сказано, надо, чтобы из довода вытекала истинность тезиса; надо чтобы тезис и основания ( доводы) были так связаны, что кто признает верным довод, тот должен необходимо признать верным и тезис. Если эта связь сразу не видна, надо уметь показать, что она есть. [3]
Наиболее достоверным способом доказательства истинности открытия является эксперимент. [4]
Аксиомы - утверждения, доказательство истинности которых не требуется. Логический вывод позволяет переносить истинность аксиом на выводимые из них следствия. [5]
Формальная логика рассматривает обоснование как вид доказательства истинности утверждения. [6]
В теории семантических сетей - дедуктивный метод доказательства истинности некоторого высказывания, заданного выражениями ( ключами), представляемыми вершинами сети, между которыми имеются явные связи. Поиск этого высказывания осуществляется одновременно из каждой из двух вершин сети во всех направлениях до тех пор, пока не произойдет пересечение в некоторой вершине. [7]
Можно спорить по поводу того, что окончательно доказательство истинности уравнений равновесия, так же как и соотношений между напряжениями и деформациями, во многом основывается на эксперименте. [8]
Очевидно, отдельный результат такого рода нельзя считать достаточным доказательством истинности гипотезы. Чтобы получить такое доказательство, мы должны повторно. Следует применить также и другие критерии, если это возможно. [9]
Выполнение программы на языке ПРОЛОГ по сути представляет собой доказательство истинности некоторого логического утверждения в рамках данной совокупности фактов и правил. [10]
Системы, для которой главной проблемой было не обоснование постулата, не доказательство истинности первоначальной гипотезы, но нечто совсем иное. А именно - решение вопроса о том, по какой причине человечество все-таки уклонилось от столь естественного для него изначального состояния. [11]
С другой стороны, предсказания и их опытная проверка являются одним из основных путей доказательства истинности выделенных оснований при построении объяснения и превращения их из гипотетических в теоретические. [12]
Постоянство величин е для растворов с различной концентрацией как при наличии побочных процессов, так и при их отсутствии, не является доказательством истинности полученных значений молярных коэффициентов светопоглощения, так как при таком определении не учитывается состав поглощающего соединения. Значения молярных коэффициентов светопоглощения в таких случаях называются кажущимися. [13]
Постоянство величин е для растворов с различной концентрацией как при наличии побочных процессов, так и при их отсутствии, не является доказательством истинности полученных значений молярных коэффициентов погашения, так как при таком определении не учитывается состав поглощающего соединения. Значения молярных коэффициентов погашения в таких случаях называются кажущимися. [14]
Постоянство величин е для растворов с различной концентрацией как при наличии побочных процессов, так и при их отсутствии, не является доказательством истинности полученных значений молярных коэффициентов светопоглощения, так как при таком определении не учитывается состав поглощающего соединения. Значения молярных коэффициентов светопоглощения в таких случаях называются кажущимися. [15]