Исходное высказывание

Cтраница 2

Нам известно, что произвольную формулу логики высказываний можно привести к конъюнктивной нормальной форме ( КНФ), эквивалентной исходному высказыванию. КНФ - это по сути конъюнкция дизъюнкций литералов, причем в каждой дизъюнкции никакой литерал не встречается более одного раза. [16]

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ - способ построения сложного высказывания из данных высказываний, при к-ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. [17]

W принадлежит D, ЛОГИЧЕСКАЯ ОПЕРАЦИЯ - способ построения сложного высказывания из данных высказываний, при котором истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. [18]

Из таблицы видно, что результат операции логического сложения ( значение функции) над двумя высказываниями является истинным тогда, когда хотя бы одно из исходных высказываний истинно. [19]

Совсем не обязательно преобразовывать два высказывания в одно составное: взяв лишь одно высказывание, мы также можем получить из него новое высказывание - при помощи операции отрицания исходного высказывания. [20]

Операция конъюнкции.| Операция дизъюнкции. [21]

Конъюнкция - логическая операция, соединяющая два или более высказываний при помощи союза и в сложное высказывание, которое истинно тогда и только тогда, когда каждое из простых высказываний истинно и ложно, когда по крайней мере одно из исходных высказываний ложно. [22]

Основная задача алгебры высказмваний состоит в описании преобразований над высказываниями на основе определенных логических законов. При этом исходные высказывания принято называть простыми, а вновь образованные - сложными. [23]

Если имеется несколько высказываний, то из них можно образовать различные новые высказывания. При этом исходные высказывания называются простыми, а вновь образованные - сложными. Соответственно из логических переменных можно составлять различные конструкции, которые образуют формулы алгебры логики. [24]

Если приходится иметь дело только с форму. [25]

Отрицанием высказывания А называют высказывание X, которое истинно, когда А ложно, и ложно, когда А истинно. Эта связь означает отрицание исходного высказывания. [26]

В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые высказывания. Истинность полученных высказываний зависит от истинности исходных высказываний и использованных для их преобразования логических операций. [27]

Употребляемая в этой книге в дальнейшем алгебра логики ( булева алгебра) возникла на основе разработанной английским математиком Булем ( № 15 - 1864) и усовершенствованной впоследствии символической логики. Для решения логических задач, связанных с получением заключений на базе исходных высказываний, используются методы, подобные применяемым в обычной алгебре для решения математических задач. [28]

Операция равнозначности выполняется над двумя высказываниями. В результате операции сложное высказывание истинно только в том случае, когда исходные высказывания имеют одинаковые значения. [29]

Употребляемые в обычной речи логич. Истинность или ложность получаемых таким образом высказываний зависит от истинности или ложности исходных высказываний и соответствующей трактовки связок как операций над высказываниями. Наряду с индивидуальными высказываниями стали использоваться также переменные высказывания, значениями которых могут быть любые наперед заданные индивидуальные высказывания. [30]

Страницы: 1 2 3