y">. Перевірка відсутніх в класі, домашнього завдання. p align="justify">. Тепер приступимо до запланованої на сьогодні роботі. Тема нашого уроку - формули алгебри висловлень. p align="justify"> Визначення:
1. Всякая буква, що позначає висловлення, є формулою.
2. Символи 0 і 1 є формулами.
3.Якщо А - формула, то й - формула.
. Якщо А і В - формули, то А/ В, А /В,, теж формули.
. Формулами є тільки ті вирази які можна отримати за допомогою пунктів 1-4.
Приклади формул:
А, В, , ( )/ В, (( )/ В)/ (А /В).
Визначення: нехай дано дві формули А і В і нехай х1, х2, ..., хn - сукупність літер, які входять хоча б в одну з цих формул. Тоді формули А і В називаються рівносильними, якщо при будь-якому наборі значень х1, х2, ..., хn вони приймають однакові значення. p> Те, що формули А і В рівносильні, позначають як, що розуміють як В«А рівносильно ВВ».
Ось деякі з рівносильних
. . p>. . p>. А /В.
. . p>. А /В В /А.
. /. p>. . p>. . p>. А /. p>. А/ 1А. p>. /В.
. . p> Ці равносильности доводяться побудовою таблиць істинності для лівих і правих частин рівностей.
Доведемо, наприклад, формулу № 6:
А В А/ В / span> +1010100100101101100110101011
Як бачимо стовпці збігаються, значить формула вірна.
Як бачимо, для представлення будь-якої формули достатньо 3-х операцій: кон'юнкції, диз'юнкції і заперечення; імплікації і еквівалентність можна виразити за формулами 11 і 12 через вище перераховані функції.
. Тепер вирішимо кілька прикладів на закріплення:
Доведіть за допомогою таблиць істинності равносильность формул:
/ 0
АВ
В
. Завдання додому: с.74-76,
.6 Предикати
Мета: сформувати в учнів поняття про предикатах, сформувати навички, необхідні для застосування формул алгебри висловлювань на практиці.
Завдання:
сформувати в учнів поняття про предикатах.
розвинути практичні навички вирішення завдань на даному матеріалу.
формування у дітей наукового світогляду.
План уроку:
. Орг. частину.
. Повідомлення нового матеріалу. p>. Закріплення нового матеріалу. p>. Завдання додому. p>. Підсумки уроку. p> Хід уроку:
. Перевірка відсутніх в класі, домашнього завдання. p>. Тепер приступимо до запланованої на сьогодні роботі. Тема нашого уроку - предикати. p> Для початку розглянемо приклад:
Нехай є п...