Элементарное высказывание
Cтраница 2
В соответствии с перечисленными понятиями введем в рассмотрение следующие элементарные высказывания: А - местность плоская, А - местность холмистая, В - ночь, В - день, С - плохая погода, С - хорошая погода, А - наступление пехоты на широком фронте, А - локализованная атака пехоты, В - дальнобойная артиллерия, В - легкая артиллерия, С - тяжелые танки, С - без танков. [16]
Технолог составляет алгоритм выбора базы с помощью библиотеки элементарных высказываний. После отработки каждого указания программа выдает запрос на продолжение работы. Система из элементарных высказываний формирует предикат, который дополняется расчетом параметров базы. Получаемые подпрограммы выбора баз и расчет их параметров система автоматически помещает в библиотеку подпрограмм выбора баз с ключом, соответствующим коду поискового предписания. Данный подход при подготовке УП ( для токарных станков с ЧПУ) снижает трудоемкость на 40 - 50 % по сравнению с системой диалога при повышении качества программы. [17]
Процесс поиска по простому запросу выполняется в массиве элементарных высказываний согласно правилам, изложенным в пп. Поиск по сложному запросу, состоящему из высказываний, соединенных знаком дизъюнкции, выполняется также в массиве элементарных сообщений. При этом результаты поиска, полученные для всех простых высказываний, объединяются. [18]
Интерпретация - это отображение /, сопоставляющее каждому элементарному высказыванию р некоторое значение истинности. [19]
Хп) - формула алгебры высказы-1 ваний, содержащая элементарные высказывания Х А 2, , Хп. Эти формула определяет некоторую функ - цию переменных Х, X. Хп их значения и вычислив затем значение1 формулы 91, что, как мы знаем, достигается конечным чдслом действий. Хп, мы выясним, является ли она тождественно истинной или нет. [20]
В одной и той же фразе возможно наличие нескольких элементарных высказываний, поэтому необходимо уметь записывать композиции элементарных выражений. Это обеспечивается отношениями ЯП. [21]
 |
Двоичные функции одного двоичного переменного. [22] |
Подчеркнем, что исчисление высказываний не дает способа определения истинности элементарных высказываний, но дает вполне четкие правила определения истинности сложных высказываний по истинности ( но не по содержанию) составляющих высказываний. Сложные высказывания АлВ, AvB, А-В, А - В называются соответственно конъюнкцией, дизъюнкцией, равнозначностью и импликацией составляющих их высказываний А и В. [23]
Подчеркнем, что исчисление высказываний не дает способа определения истинности элементарных высказываний, но дает впол - - не четкие правила определения истинности сложных высказываний по истинности ( но не по содержанию) составляющих высказываний. Сложные высказывания А / В, A J В, А - В, Л - В называются соответственно конъюнкцией, дизъюнкцией, равнозначностью и импликацией составляющих их высказываний А и В. [24]
Подчеркнем, что исчисление высказываний не дает способа определения истинности элементарных высказываний, но дает вполне четкие правила определения истинности сложных высказываний по истинности ( но не по содержанию) составляющих высказываний. [25]
Принимаются следующие допущения: самая простая конструкция в речи - это элементарное высказывание, представленное предикатом с его аргументами. Для предиката и аргументов указаны соответствующие переменные. [26]
С точки зрения математической логики, ультрапроизведения интересны тем, что любое элементарное высказывание, верное во всех полях / Со верно и в их ультрапроизведении. [27]
Нетрудно получить для представления двузначной функции такие формулы, которые содержат только переменные элементарные высказывания. [28]
Значение истинности сложного высказывания зависит от значения истинности его компонент - элементарных высказываний. [29]
Подчеркнем, что исчисление высказываний - не дает способа определения истинности элементарных высказываний, но дает вполне четкие правил а определения истинности сложных высказываний по истинности ( но не по содержанию) составляющих высказываний. Сложные высказывания АлВ, АчВ, Ai - B, А - - В называются соответственно конъюнкцией, дизъюнкцией, равнозначностью и импликацией составляющих их высказываний А и В. [30]
Страницы: 1 2 3 4