чна схема введення основних понять математичної логіки, необхідних при вивченні базового курсу інформатики, а також їх використання при роботі з прикладним програмним забезпеченням і в мовах програмування. Основними поняттями тут є: висловлювання, логічна величина (константа, змінна), логічні операції, логічне вираження .
У математичній логіці визначено п'ять основних логічних операцій: кон'юнкція, диз'юнкція, заперечення, імплікація, еквівалентність. Перші три з них складають повну систему операцій , внаслідок чого інші операції можуть бути виражені через них (нормалізовані). В інформатиці зазвичай використовуються ці три операції.
Послідовність виконання операцій в логічних формулах визначається старшинством операцій. У порядку убування старшинства логічні операції розташовані так: заперечення, кон'юнкція, диз'юнкція . Крім того, на порядок операції впливають дужки, які можна використовувати в логічних формулах. Наприклад: (А і В) або (НЕ А і В) або (НЕ А і не В)
Математична логіка в базах даних. При вивченні базового курсу інформатики учні вперше зустрічаються з елементами математичної логіки в темі В«Бази данихВ» (БД). У реляційних БД логічними величинами є поля логічного типу. Логічний тип використовується поряд з іншими типами полів, і учні повинні навчитися виділяти його. p align="justify"> Перше поняття про логічного величиною можна дати як відповідь на альтернативний питання. Наприклад: В«Чи є дана книга в бібліотеці?В» Або В«Поступив чи абітурієнт до університетуВ», або В«На вулиці йде дощ?В» І т. п. Відповідями на такі питання можуть бути тільки В«такВ» чи В«ніВ». Синонімами є В«істинаВ», В«брехняВ»; В«trueВ», В«falseВ». Якщо поле таблиці буде приймати тільки такі значення, то йому призначається логічний тип. p align="justify"> Наприклад, реляційна база даних факультативи містить відомості про відвідування учнями трьох факультативів з геології, квітникарства і танців
Поля ГЕОЛОГІЯ, ЦВЕТОВОДСТВО і ТАНЦІ матимуть логічний тип. Значення ІСТИНА для кожного поля позначає, що учень відвідує даний факультатив, а БРЕХНЯ - не відвідує. p align="justify"> Логічні вирази використовуються в запитах до бази даних в якості умов пошуку. Стосовно до баз даних, визначення логічного виразу можна перефразувати так: логічне вираз - це деякий вислів з приводу значень полів бази даних; це висловлювання по відношенню до різних записів може бути...
