Алгебру логики иначе еще называют алгеброй высказываний, логикой высказываний. Алгебра логики начала формироваться в 19 веке в трудах английского математика Дж. Буля. Прежде всего...
Основной задачей теории булевых функций является разработка систематического метода построения сложных функций из более простых. Этот метод основан на изучении свойств булевых функций...
Из логических переменных можно составлять различные конструкции, которые образуют формулы алгебры логики. Пусть - некоторое множество логических переменных...
При решении многих логических задач часто приходится упрощать формулы, полученные при формализации их условий. Упрощение формул в алгебре логики производится на основе эквивалентных преобразований, опирающихся на основные логические законы...
Пусть F - двоичная функция от n переменных. Предположим, что F не равна тождественно нулю. Пусть T1, T2,…, Tk - все точки ее определения, в которых F=1. Можно доказать, что справедлива следующая формула: , где , j=1,2,…, k...
Для того чтобы алгебра (М, о,), где о - (n+1)-операция на М, а - бинарная операция на М, являлась P -алгеброй n-местных функций, необходимо и достаточно, чтобы пара выполняла условие (М, о) была алгеброй Менгера ранга n, (М...
Объединение математико-логической установки с иными математическими подходами, прежде всего с вероятностно-статистическими идеями и методами - на фоне глубокого интереса к вычислительным приборам...
В линейных (векторных) пространствах заданы две алгебраические операции - сложение и умножение на числа. Алгеброй называют линейное пространство...
Как самостоятельная наука логика сложилась в IV в. до н.э. Ее основателем по праву считается древнегреческий философ Аристотель (348 - гг. до н.э.). В своих научных трудах, посвященных логике...
Предикатная сигнатура - это множество символов двух типов - объектные константы и предикатные константы - с неотрицательным целым числом, называемым арностью, назначенным каждой предикатной константе...
логический высказывание булевой пропозициональный...
Форма высказывания естественного языка Соответствующая формула языка алгебры логики Не А; неверно, что А; А не имеет места А и В; как А, так и В; не только А, но и В; А вместе с В; А, несмотря на В; А в то время как В А*В А, но не В; не В...
Переведем на язык алгебры логики следующие высказывания: 1) Если светит солнце, то для того, чтобы не было дождя, достаточно, чтобы дул ветер. Обозначим: Солнечная погода - С Идет дождь - Д Дует ветер - В Обратившись в вышеприведенную таблицу...
Многочлен (или полином) от n переменных -- есть конечная формальная сумма вида , где I = (i1,i2,...,in) есть набор из целых неотрицательных чисел (называется мультииндекс), cI -- число (называемое "коэффициент многочлена")...
...