Розробка уроку з інформатики - Логіка як наука
Тема:Логіка як наука. Поняття про алгебр висловлювань.
запровадити визначення логіки як науки, алгебри логіки, поняття висловлювання, позначення справжнього та хибного висловлювання;
розглянути приклади висловлювань та речень, які висловлюваннями не є.
Вивчення нового матеріалу.
Виконує завдання на закріплення.
Вивчення нового матеріалу.
Логіка–наука про форми та способи мислення; вчення про способи міркувань та доказів. Закони логіки відображають у свідомості людини властивості, зв'язки та відносини об'єктів навколишнього світу. Логіка дозволяє будувати формальні моделі навколишнього світу, відволікаючись від змістовної сторони.
Мислення завжди здійснюється у будь-яких формах. Основними формами мислення єпоняття, висловлювання та висновок.
Поняття–це форма мислення, що фіксує основні, суттєві ознаки об'єкта.Наприклад, поняття «комп'ютер» поєднує безліч електронних пристроїв, які призначені для обробки інформації та мають монітор та клавіатурою.
Висловлювання (судження)- це форма мислення, в якій щось стверджується або заперечується про властивості реальних предметів і відносини між ними. Висловлювання може бути абоістинно, абохибно.Під висловлюванням розумітимемо оповідальну пропозицію, щодо якого можна сказати, істинно воно чи ні.Своє розуміння навколишнього світу людина формулює у формі висловлювань (суджень, тверджень). Висловлювання будується на основі понять і формою є оповідальною пропозицією.Наприклад, вислів «Два помножити на два і чотири».
Про об'єкти можна судити вірно, чи невірно, тобто висловлювання може бутисправжнімабохибним.
Істинним буде висловлювання, у якому зв'язок понять правильно відбиває властивості та відносини реальних речей. Наприклад, "Процесор є пристроєм обробки інформації".
Неправдивим висловлювання буде у тому випадку, коли воно не відповідає реальній дійсності, наприклад: «Процесор є пристроєм друку».
Уживані у звичайній промові слова та словосполучення «не», «і», «або», «якщо…, то», та інші дозволяють із уже заданих висловлювань будувати нові висловлювання. Такі слова називаютьсялогічними зв'язками.Висловлювання, утворені з інших висловлювань за допомогою логічних зв'язок, називаютьсяскладовими.Наприклад, вислів «Процесор є пристроєм обробки інформації, і принтер є пристроєм друку» є складовим висловом, що складається з двох простих, з'єднаних спілкою «і».
Якщо істинність або хибність простих висловлювань встановлюється в результаті угоди на підставі здорового глузду, то істинність або хибність складених висловлювань обчислюється за допомогою використання алгебри висловлювань.
Розумова–це форма мислення, за допомогою якої з одного або декількох суджень (посилок) може бути отримано нове судження (висновок).
Висновки дозволяють на основі відомих фактів, виражених у формі суджень (висловлювань), отримувати висновок, тобто нове знання. Прикладом висновків можуть бути геометричні докази.
Наприклад, якщо ми маємо судження «Всі кути трикутника рівні», то ми можемо шляхом висновку довести, що в цьому випадку справедливо судження «Цей трикутник рівнобічний».
В алгебрі висловлювань міркуванням (простим висловлюванням) ставляться у відповідність логічні змінні, що позначаються великими літерами латинського алфавіту. Розглянемо два простих висловлювання:
А = «Два помножити на два і чотири».
В = «Два помножити на два і п'ять».
Висловлювання можуть бути істинними чи хибними. Істинному висловлюванню відповідає значення логічної змінної 1, а хибному – значення 0. У разі перше висловлювання істинно (А=1), а друге хибно (В=0).
В алгебрі висловлювань висловлювання позначаються іменами логічних змінних, які можуть набувати лише двох значень: «істина» (1) і «брехня» (0).
Виконує завдання на закріплення.
Визначте, які з наведених нижче фраз є висловлюваннями з погляду алгери логіки. Визначте значення висловлювання (істина чи брехня).
Без праці не виловиш рибку зі ставка. (істинно)
Як добре бути генералом! (Не висловлювання)
Революція може бути мирною та немирною. (істинно)
Талант завжди проб'є собі дорогу. (хибно)
Інформатика зокрема вивчає алгоритм. (істинно)