|
Логика Электронное учебное пособие |
|
|
Раздел 2. Алгебра высказываний
Содержание:
Входной тест к разделу "Алгебра высказываний"
логическое отрицание (инверсия)
логическое умножение (конъюнкция)
логическое сложение (дизъюнкция)
логическое следование (импликация)
логическое равенство (эквивалентность)
Логические выражения, правила составления логических выражений
Самостоятельная работа "Логические высказывания"
Составление таблиц истинности для логических высказываний нескольких переменных
Практикум №1 "Составление таблиц истинности для логических высказываний нескольких переменных"