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