Crowdly
Додати до Chrome
Д-Б Математична логіка (МІ, 8 семестр)
Шукаєте відповіді та рішення тестів для Д-Б Математична логіка (МІ, 8 семестр)? Перегляньте нашу велику колекцію перевірених відповідей для Д-Б Математична логіка (МІ, 8 семестр) в moodle.kdpu.edu.ua.
Отримайте миттєвий доступ до точних відповідей та детальних пояснень для питань вашого курсу. Наша платформа, створена спільнотою, допомагає студентам досягати успіху!
1). Задана система пропозиційних букв {A, B, C}. Звести формулу логіки висловлень до ДДНФ:
ù А ® (В ® С)
2). Довести рівносильність формул логіки предикатів:
"x(U(x) Ù K(x)) º "xU(x) Ù "xK(x)
Теорема про заміну підформули у формулі. Відмінності між заміною і підстановкою.
1). Звести формулу ЛВ до ДНФ та КНФ
ù A Ù B « A Ú (C ® B)
2). Довести рівносильність формул логіки предикатів:
"x(ù P(x) Ù ù S(x)) º "x (ù P(x)) Ù "x(ù S(x))
Схема теорем 1. Вивідність формул з множини припущень в ЧВ.
Функціонально повна система логічних операцій. Теорема про функціонально повні системи логічних операцій.