Бібліотека методичних матеріалів
- Всеосвіта›
- Бібліотека методичних матеріалів›
- Комп'ютерна логіка›
- Лекція за темою "Формули алгебри висловлювань"
Матеріал:
Лекція за темою "Формули алгебри висловлювань"
doc 
14.12.2020
54
0
11
11
Опис методичного матеріалу:
За допомогою логічних операцій, розглянутих в попередніх лекціях, з простих висловлювань можна будувати більш складніші висловлювання . Для кожної формули повинна існувати кінцева послідовність усіх її підформул, тобто така кінцева послідовність, яка розпочинається з тих, що входять в цю формулу пропозиціональних змінних, закінчується самою цією формулою, і кожен член цієї послідовності, пропозиціональної змінної, що не являється, або є заперечення вже наявного члена цієї послідовності
Вміст матеріалу:
Доступ до плеєра. Вбудувати плеєр: