Головна |
Завдання №1.1. Встановити, чи є даний вираз формулою, а якщо так, то визначити, які змінні в ній вільні, а які пов'язані. 2. Дано предикати: А (x) і B(x). Записати словами запропоновані формули С і D. 3. Дане судження записати у вигляді формули логіки предикатів. Побудувати заперечення даного судження у вигляді формули, яка не містить зовнішніх знаків заперечення. Перекласти на природну мову. 4. Знайти наведену і нормальну формули для даної формули
Завдання №2.Записати твердження за допомогою наступних позначень: , - людина, - Викладач Іванов, - Студент, - Школяр, - Відмінник, - Староста, - Викладач, - Працює, - Член профспілки, - Молодий, - Старий, - Справедливий, - Дівчина, - боїться . 1) Деякі школярі та студенти - відмінники. 2) Всі старости відмінники і працюють. 3) Всі викладачі і студенти є членами профспілки. 4) Не всі молоді викладачі справедливі. 5) Деякі молоді та все старі викладачі справедливі. 6) Всі студенти та деякі викладачі молоді. 7) Серед працюючих студентів є відмінники. 8) Деякі студенти бояться викладача Іванова. 9) Ніхто зі студенток не боїться викладача Іванова. 10) Серед студенток-старост є відмінниці. Домашнє завдання:
2. Визначити, що в судженні «Комп'ютер складається з процесора, пам'яті і зовнішніх пристроїв» є суб'єктом, предикатом, зв'язкою. Відповідь: «комп'ютер» - суб'єкт, «процесора, пам'яті і зовнішніх пристроїв» - предикат, «складається» - зв'язка. 3. Наведіть письмово в зошиті приклади висловлювань, міркувань, тверджень і доказів з різних областей науки. 4. Зобразити за допомогою діаграми Ейлера-Венна співвідношення між множинами: А) цілі і натуральні числа; Б) парні і непарні числа; В) парні і двозначні числа. - На дошці і в зошити. 5. Визначити, що є суб'єктом, предикатом і зв'язкою в наступних судженнях: А) Сканер - це пристрій введення інформації. Б) Місяць є супутником Землі. В) Атом складається з ядра і електронів. Приклад 2. Табличний спосіб вирішення | Приклад 3. Спосіб вирішення засобами алгебри логіки | Завдання №1. | Вирішіть логічні задачі засобами Excel. | теоретичні відомості | теоретичні відомості | Приклад 3. | Завдання №3. | предикат називається | Логічні операції над предикатами | |