Основи логіки

ОСНОВИ ЛОГІКИ

МЕТОДИЧНІ ВКАЗІВКИ

до виконання практичних занять

з дисципліни „Комп’ютерна дискретна математика”

для студентів базового напряму

„Програмна інженерія”

Затверджено на засіданні кафедри програмного забезпечення Протокол № 14 від 18.04.2013 р.

Львів – 2013

Основи логіки.: Методичні вказівки до виконання практичних занять з дисципліни „Комп’ютерна дискретна математика” для студентів базового напряму „Програмна інженерія” / Укл.: П. В. Сердюк, О.О. Нитребич. – Львів: Видавництво Національного університету „Львівська політехніка”, 2013. – 28 с.

Укладачі

Сердюк. П. В., к. т. н., доц. кафедри програмного забезпеченння національного університету “Львівська політехніка”

Нитребич О. О., асист. кафедри програмного забезпеченння національного університету “Львівська політехніка”

Відповідальний за випуск

Федасюк Д. В., д-р тех. наук, проф., завідувач кафедри програмного забезпечення, проректор з науково-педагогічної роботи національного університету “Львівська політехніка”

Рецензенти

Гавриш В. І., к.ф.-м.н., доц. кафедри програмного забезпеченння національного університету “Львівська політехніка”

Огородник Н. П., к.ф.-м.н., асис. кафедри теорії оптимальних процесів Львівського національного університету ім. І. Франка

Зміст

1. Вступ. 4

2. Логіка висловлювань. 4

3. Закони логіки висловлювань. 9

4. Способи доведення логічних тверджень. 10

5. Логіка предикатів. 13

6. Закони логіки першого ступеня. 17

7. Випереджена нормальна форма. 18

8. Завдання до виконання. 20

9. Контрольні запитання. 26

ОСНОВИ ЛОГІКИ

Мета роботи: Ознайомитись на практиці із основними поняттями та законами логіки висловлювань, навчитись доводити логічні твердження шляхом побудови таблиць істинності і використовувати закони логіки.