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