Что мы знаем о войне немного по рассказам бабушек и мам знаем, что надежда и тревога об руку ходили по домам слухи зависали как знамена дымом застилался горизонт многоверстный и многоименный жаждал крови ненасытный фронт а из тыла за волной волна шла латать верховные промашкивсасывала мальчиков война и выплевывала мертвые бумажкикаждый шаг к победе ли к бедесводки измеряли расстояньем даже самый распобедный день был комуто вечным расставаньемгоды возвращающий экраночевидцев честные романывсе равно останутся обманомссадины не заменяют рантолько изредка за толщей дней вдруг всплеснёт сирены голос лютыйзамирая криками детей и застынет сердце на минуту
2)суждение – это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами и которая обладает свойством выражать либо истину, либо ложь. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным. Например, “Кража – преступление. 6) Гипотезой называют высказывание или теорию (совокупность определенных высказываний) , представляющих собой некоторое, предположение, то есть предположительный ответ на некоторый вопрос о существовании, о причинах какого-то явления и происхождении его и т. п. Например, предположение — до полета спутника вокруг Луны — о существовании гор и кратеров на обратной стороне Луны; гипотеза А. И. Опарина о происхождении жизни на Земле, гипотеза о происхождении Солнечной системы и т. п. 3)Студент занимается на 5 курсе или занимается баскетболом. Строгая дизъюнкция: союз “или” употребляется в исключающем смысле, когда происходит выбор между двумя альтернативами: либо одно, либо другое. Исключающая (строгая) дизъюнкция (x V y) истинна тогда, когда только один из ее членов является истинным, а другой - ложным Она будет ложная, если оба ее члена одновременно истинны либо ложны. 5)Предложения в других грамматических формах (собственно вопросительные, побудительные и т. д. ) непосредственно суждениями не являются, поскольку ничего не утверждают и не отрицают. 4) истинность суждения, а тем самым и теории, состоящей из множества суждений, относительна к принятым идеализациям. Все люди рыжеволосы доказать не истинность этого суждения. Вывод такой человеческая жизнь это относительная ценность это еще один пример однозначной абсолютной безусловной истины. 1) Изучение геометрии основано на аксиоматическом методе. После формулировки основных понятий и аксиом все дальнейшие результаты теории – результаты логических рассуждений, которые оформляются в виде определенного вида утверждений. Теорема – утверждение, требующее доказательства. Лемма – вс теорема, которая приводится для того, чтобы с ее доказать следующую теорему или группу теорем. Следствие-теорема, которая позволяет более полно трактовать содержание данной теоремы, аксиомы, определения. Рассмотрим, например, формулировку теоремы, данную в следствии 1.1: если на луче отложить от начальной его точки два отрезка AB и AC и если AB = AC, то точки B и C совпадут. Условием теоремы является предложение {на луче отложить от начальной его точки два отрезка AB и AC и AB = AC}. Это предложение не является в данном виде высказыванием, но содержит описание множества объектов, относительно которых делается высказывание вида AB = AC. Из описания ясно, что речь идет о множестве отрезков луча a, отложенных от начальной его точки. Поскольку один конец отрезка фиксирован, то отрезок определяется однозначно точкой луча. Обозначим как P множество точек луча, отличных от его начальной точки. Пусть B P – заданная точка. Тогда условие теоремы является предложением относительно точки множества P. Перепишем условие теоремы в виде: A (x) = {длина отрезка Ax = AB}. Очевидно, это предикат. Заключение теоремы есть предикат B (x) = {точка x совпадает с точкой B}. Тогда теорему можно переформулировать следующим образом: если x – произвольная точка луча AB такая, что Ax = AB, тогда точка x совпадает с точкой B.На основании этого утверждения основан метод доказательства от противного. Суть этого метода состоит в том, что доказывают истинность теоремы, противоположной обратной, поскольку если эта теорема истинна, то и исходная теорема тоже верна.
Объяснение:
2.
итерационные циклы
while, repeat - until
условие выполнения цикла может быть любым выражением, возвращающим тип Boolean
шаг изменения любой
цикл с параметром
for
начальное и конечное значения - целые числа
шаг изменения параметра равно 1
количество итераций = [конечная граница] - [начальная граница] + 1
3.
цикл с предусловием
while
минимальное количество итераций = 0 (случай, когда условие while не выполняется при первом проходе)
максимальное количество не ограничено
цикл с постусловием
repeat - until
минимальное количество итераций = 1 (условие выхода проверяется в конце цикла, хотя бы один раз цикл выполнится)
максимальное количество не ограничено