Лекции по дисциплине «Математическая логика»

Закон тождества. «Всякое высказывание является логическим

Определения.   Опр: V – словом в алфавите А, называется

В 1935 г. возникло такое положение: свойства, обнаруженные

Теорема. Всякая булева функция порождается некоторой

Теоремы для двух и трех переменных 7. Коммутативные

Проблема останова заключается в том, чтобы по любой

Операторный алгоритм Ван Хао задается последовательностью

В алгебре логики введена система аксиом, определяющая

В этой главе мы ограничиваемся изучением логики высказываний.

Докажем теперь теорему о дедукции для исчисления предикатов.