Особливості контролю знань логіки предикатів

Зясовано особливості методики викладання модуля логіки предикатів.Класифікація формул логіки предикатів.Якщо формулаА тавтологія логіки предикатів, то це записують ?А.Окремий випадок будь-якої тавтології алгебри висловлень єтавтологією логіки предикатів.Для кожної формули логіки предикатів існує зведена та випереджена нормальна форми.Тестові завдання розроблено для тематичного контролю знань.Всі інші слова, крім тих, що утворені за правилами пунктів 1 - 3 не є формулами логіки предикатів.Основні теоретичні відомості з модуля логіки предикатів.Формула логіки предикатів може бути.Методична розробка з модуля логіка предикатів.