Урок на тему - логічні операції
На минулому уроці ми познайомилися з висловлюваннями і побачили, що прості висловлювання можна складати в складні завдяки логічним операціям. Ось одну з таких операцій - заперечення або інверсія або логічне НЕ ми сьогодні і розглянемо.
Заперечення - унарна операція. Т. е. Для неї потрібно один операнд. Наприклад, додавання - бінарна операція. так як вимагає два аргументи, а ось витяг квадратного кореня - унарна операція. так як потрібен всього один аргумент - той, з якого витягується корінь.
У природній мові операцію заперечення замінюють часткою «не».
На листі заперечення позначається рисою над висловом:
позначення операції заперечення
У літературі, а також у завданнях ЄДІ і ДПА заперечення позначається інакше:
позначення заперечення в літературі
Щоб ввести символ заперечення, необхідно на клавіатурі натиснути клавіші Alt + 0172. причому 0172 набирати на цифровий панелі з включеним режимом Num Lock (світлодіод повинен горіти). В результаті має вийти так ¬.
A = «2 плюс 2 дорівнює 4". тоді ¬A = «2 плюс 2 НЕ дорівнює 4".
Тепер неважко здогадатися, як буде виглядати таблиця істинності для заперечення: