Два - высказывание
Cтраница 2
А или не А или словесная формулировка - если два высказывания противоречат друг другу, то одно из них истинно, а другое ложно. [16]
Доказать, что не существует логической связки о, соединяющей два высказывания языка PL, отличающейся от и: ( см. пример 1.6.5), и такой, что множество связок о образует полную систему. [17]
Два высказывания называются эквивалентными, если они оба истинны или оба ложны. Эквивалентность двух высказываний обозначают знаком равенства. [18]
МА - параметр определяет знак, обозначающий многократную загрузку позиций в цепочке высказываний при распечатке поля с синтаксическими указателями. Если два высказывания одной цепочки имеют одинаковый указатель позиции, то этот знак необходимо вставить в виде разделителя между высказываниями. [19]
Другой пример: гравитационные волны существуют и гравитационные волны не существуют. Эти два высказывания противоречащие: существуют - не существуют, третьего нет. Но какое из них истинное, мы пока не знаем. Общая теория относительности предсказывает гравитационные волны, но экспериментально они пока не обнаружены, хотя попытки их обнаружения предпринимались не раз. Та к что на данном этапе мы не можем определить, какое из двух противоречащих высказываний истинное. [20]
Отдельные высказывания, соответствующим образом соединенные между собой, тоже могут принимать истинное или ложное значения и притом только одно из них. Например, два высказывания: реле X работает и у реле X контакты на замыкание разомкнуты могут образовать сложное высказывание: реле X работает и у реле X контакты на замыкание разомкнуты. Это сложное высказывание является ложным, так как если реле X исправно, то не может быть, чтобы оно работало, а его контакты на замыкание были разомкнуты. [21]
Пока еще время, когда работает у власти команда - братва и следует привести еще два высказывания представителей команды октябрьского переворота. Лацис: Заложники - капитал для обмена... [22]
Аналогично, если машина выдаст нам утверждение РА-X, тогда ( поскольку утверждение РА-X должно быть истинным) она должна напечатать нам также и выражение X-X. Помимо этого, если машина напечатает утверждение NP-X, тогда она не сможет напечатать утверждение Р-X, поскольку эти два высказывания не могут одновременно являться истинными: ведь первое из них утверждает, что машина не может напечатать выражение X, а второе - что машина может его напечатать. [23]
При помощи таблицы истинности мы можем устанавливать, когда высказывание истинно, а когда - ложно. В силу следствия 1.3.5, если в таблицах истинности для двух высказываний столбцы значений атомов и последние столбцы совпадают, то эти два высказывания логически эквивалентны. [24]
Элементами алгебры высказываний служат простые суждения, вроде в этой книге больше ста страниц или протон состоит из трех кварков. Они обозначаются буквами А, В, С... Два высказывания считаются равными, если истинность одного означает и истинность другого. [25]
Примем, что если высказывание истинно, то его значение равно 1, а если ложно, то равно нулю. Запись А-1 говорит о том, что высказывание А истинно, а запись В0 - о том, что высказывание В ложно. Два высказывания считаются эквивалентными, если значения истинности у них совпадают. Запись АВ говорит о том, что высказывания одновременно либо истинны, либо ложны. [26]
Высказывания оценивают только по их истинности или ложности. Считают, что высказывание равно 1, если оно истинно, и равно 0, если оно ложно. Два высказывания называют эквивалентными, если их значения истинности одинаковы. [27]
 |
Время и пространство с точки зрения говорящего. [28] |
А у тебя болит голова. Более того, эти два высказывания, как правило, равнозначны. [29]
А или В, где А и В - высказывания, считать ложным в тех случаях, когда оба высказывания А и В ложны. Таким образом, после этого соглашения высказывание 2 3 или 5 - четное число следует считать ложным, а высказывания 2 3 или 5 - четное число, 2 3 или 4 - четное число - истинными. А разве высказывание 2 3 или 4 - четное число само по себе, без всяких соглашений не имеет какого-то смысла. Такому читателю я возражу, что наши слова, слова нашего обычного, повседневного языка вовсе не имеют какого-то внутреннего, изначального смысла. Смысл слов, а следовательно, и смысл предложений, составленных из этих слов, либо - в повседневном языке - создается стихийно, в практике речевого общения и поэтому этот смысл расплывчат и неопределенен, либо - в математическом языке - создается специальными, явными соглашениями. Вполне возможно, между прочим, что вытекающая из нашего соглашения о смысле союза или истинность высказывания 2 3 или 4 - четное число будет противоречить языковой интуиции некоторых читателей. Всюду дальше, где не оговорено противное, соединяя два высказывания союзом или, мы будем автоматически предполагать, что этот союз употребляется в смысле нашего соглашения. Такое или, или в таком смысле тоже употребляется в языке. [30]
Страницы: 1 2