1. Перевірка теоретичних знань, задач для самостійного розв’язування.

2. Розв’язування тренувальних вправ.

3. Підбиття підсумків заняття, постановка завдань для самопідготовки до практичного заняття №6.

1. Перевірка теоретичних знань з теми «Логіка висловлень»:

1. Сформулювати означення висловлення, навести приклади і контрприклади.

2. Сформулювати означення логічної операції над висловленнями.

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

1 0	0 1	0 0 1 1	0 1 0 1	0 1 1 1	0 0 1 1	0 1 0 1	0 0 0 1	0 0 1 1	0 1 0 1	1 1 0 1	0 0 1 1	0 1 0 1	1 0 0 1

2. Зразки тренувальних вправ з теми «Логіка висловлень»:

1. Встановити, які з наведених речень є висловленнями:

1) 8 – ціле число; 2) 169 ділиться на 9 або на 4;

3) х² ≥ 0; 4) Чи існують рівнокутні трикутники?

5) Існують рівносторонні трикутники; 6) Закрийте зошити! 7) 5 ≥ 5.

2. Встановити логічну структуру висловлення: 12 ділиться на 3 і 2 тоді і тільки тоді, коли 12 ділиться на 6.

3. Встановити логічну структуру висловлення: Неправильно, що 5 не менше 7.

4. Встановити логічну структуру висловлення: Всі натуральні числа додатні.

5. Встановити логічну структуру висловлення: Всі цілі числа невід’ємні.

6. Знайти логічне значення висловлення: Всі натуральні числа додатні.

7. Знайти логічне значення висловлення: Всі цілі числа невід’ємні.

8. Знайти логічне значення висловлень: а) 12 ділиться на 3 і 2 тоді і тільки тоді, коли 12 ділиться на 6;

б) неправильно, що 5 не менше 7.

9. Перевірити на рівносильність формули і , заповнивши таблицю (для , , ):

0		0
0		1
1		0
1		1

3. Контрольні запитання з теми «Логіка предикатів»

1. Що розуміють у математиці під змінною? Значеннями змінної, її областю визначення?

2. Яке твердження називається предикатом?

3. Як називаються змінні, що входять до предикату?

4. Сформулюйте означення одномісного, двомісного, п-місного предикату.

5. Як означити області істинності (або хибності) предикату? Приклади.

6. Які предикати називаються тотожно істинними, тотожно хибними, рівносильними (на множині М)?

7. Які операції виконуються над предикатами? Наведіть приклад, який розкриває аналогії між певними операціями над предикатами та системами і сукупностями рівнянь та нерівностей.

8. Які символи називаються кванторами, назвіть їх різновиди та охарактеризуйте відповідні операції. Від якого латинського слова походить термін "квантор"?

9. У чому полягає операція навішування квантора загальності, квантора існування?