Crowdly
Add to Chrome
Д-Б Математична логіка (МІ, 8 семестр)
Looking for Д-Б Математична логіка (МІ, 8 семестр) test answers and solutions? Browse our comprehensive collection of verified answers for Д-Б Математична логіка (МІ, 8 семестр) at moodle.kdpu.edu.ua.
Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!
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. Вивідність формул з множини припущень в ЧВ.
Функціонально повна система логічних операцій. Теорема про функціонально повні системи логічних операцій.