Практичне завдання з математичної логіки
За допомогою
методу від супротивного з’ясувати чи
буде тавтологією формула: 
.
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
__________________________________________________________________________
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики
Практичне завдання з математичної логіки
Довести або спростувати рівносильність
формул алгебри висловлень:
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
__________________________________________________________________________
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики
Практичне завдання з математичної логіки
Знайти ДДНФ та ДКНФ для формули:
та
відповідні РК-схеми.
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики
Практичне завдання з математичної логіки
Визначити, чи правильно стоїть знак
логічного наслідку на базі алгебри
висловлень:
.
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
_________________________________________________________________________
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики
Практичне завдання з математичної логіки
Перетворити формулу в рівносильну, яка
не містить заперечення:
.
Чи є виконуваною ця формула?
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
__________________________________________________________________________
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики
Практичне завдання з математичної логіки
Перетворити формулу в рівносильну, яка
не містить заперечення:
.
Чи є виконуваною ця формула?
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики
Практичне завдання з математичної логіки
Звести до
пренексної нормальної форми
Затверджено на засіданні кафедри математики. Протокол № 8 від 27 березня 2014 р.
Завідувач кафедри Волков Ю.І.
__________________________________________________________________________
Державний кваліфікаційний екзамен
Освітньо-кваліфікаційний рівень спеціаліст
Спеціальність: 7.04020101 Математика*
Спеціалізація: економіка Форма навчання: заочна
Навчальна дисципліна: Математика та Методика навчання математики