Алгебра
Алгебра высказываний, пропозициональные связи и формы, истинностные таблицы. Алгебра высказываний, тавтологии и противоречия.Алгебра высказываний, логическое следствие и логическая эквивалентность.Алгебра высказываний: дизъюнктивная и конъюнктивная нормальные формы.Алгебра высказываний: полные системы функций, базис.Понятие формальной аксиоматической теории.Исчислений высказываний как формальная аксиоматическая теория.Формальная аксиоматическая теория, определение аксиомы, правила вывода.Формальная аксиоматическая теория, формализация понятий теоремы и ее доказательства.Формальная аксиоматическая теория, теорема дедукции, правила силлогизма и перестановки посылок.Исчисление высказываний: связь между теоремами исчисления и тавтологиями.Логика предикатов: понятия терма и предиката, кванторы.
Оригинал текста доступен для загрузки на странице содержания 