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