Содержание
- 2. ЛОГИКА – наука о формах и законах человеческого мышления и о законах доказательных рассуждений АЛГЕБРА ЛОГИКИ-
- 3. В XVII веке немецкий ученый и философ Вильгельм Лейбниц попытался построить первые логические исчисления, усовершенствовал и
- 4. Логическое высказывание — это любое повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или
- 5. Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если... , то", "тогда и только
- 6. ЛОГИЧЕСКИЕ СВЯЗКИ не, или, и, если …то, тогда и только тогда…
- 7. ВЫСКАЗЫВАНИЯ Составные- высказывания, образованные из других высказываний с помощью логических связок не, или, и, если …то,
- 8. Истинность или ложность составных высказываний зависит от истинности или ложности входящих в него простых высказываний. Каждые
- 9. ЛОГИЧЕСКИЕ СВЯЗКИ не, или, и, если …то, тогда и только тогда… ЛОГИЧЕСКИЕ ОПЕРАЦИИ не - отрицание
- 10. ЛОГИЧЕСКИЕ ОПЕРАЦИИ
- 11. ЛОГИЧЕСКИЕ ОПЕРАЦИИ
- 12. ЧТО ТАКОЕ ФОРМУЛА АЛГЕБРЫ ЛОГИКИ? С помощью логических переменных и символов логических операций любое высказывание можно
- 13. Определение логической формулы: 1) Всякая логическая переменная и символы “истина” (1) и “ложь” (0) — формулы.
- 14. НАПРИМЕР: Формализуем высказывание: Если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог . Введем переменные:
- 15. УПРАЖНЕНИЯ: Установите, какие из следующих предложений являются логическими высказываниями, а какие — нет (объясните почему) и
- 16. Сформулируйте отрицания следующих высказываний: Эльбрус — высочайшая горная вершина Европы; 2>=5; 10 все натуральные числа целые;
- 17. Определите, какие из высказываний в следующих парах являются отрицаниями друг друга: 10>9 и 10 5 10;
- 18. Формализуйте высказывания: Если перекрутить яблоки и варить их на медленном огне 10 минут, то вы получите
- 19. Формализуйте высказывания: Я не смогу сдать зачет и снова папа отругает меня и накажет F=а^b^c Треугольник
- 20. Определите истинность высказываний: если введены следующие логические переменные: А – «Учащиеся работают с доской», В –
- 21. Построение таблиц истинности
- 22. ТАБЛИЦА ИСТИННОСТИ – таблица, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы. Если
- 23. Алгоритм построения ТИ для логической формулы: Определить количество строк и столбцов в ТИ Заполняем заголовок таблицы
- 24. Количество строк в таблице истинности формулы определяется по формуле 2N+ 1, где N – количество простых
- 25. Количество столбцов в таблице истинности формулы определяется по формуле N + oп, где N – количество
- 26. Алгоритм построения ТИ для формулы 1) количество строк – 9, количество столбцов - 7
- 27. Алгоритм построения ТИ для формулы 2) a b c n m
- 28. Алгоритм построения ТИ для формулы 2) a b c n m
- 29. Алгоритм построения ТИ для формулы 3) a b c n m
- 30. Алгоритм построения ТИ для формулы 3) a b c n m
- 31. Алгоритм построения ТИ для формулы 4) a b c n m
- 32. Алгоритм построения ТИ для формулы 4) a b c n m
- 33. Алгоритм построения ТИ для формулы 4) a b c n m
- 34. Алгоритм построения ТИ для формулы 4) a b c n m
- 35. Упражнение: Построить ТИ следующих формул 1) 2) 3) 4)
- 36. Формулы, принимающие значение “истина” (1) при любых значениях истинности входящих в них переменных называются тождественно истинными
- 37. Установить, являются ли логические выражения тавтологиями. а) б)
- 38. Формулы, принимающие значение “ложь” (о) при любых значениях истинности входящих в них переменных называются тождественно ложными
- 39. Установить, являются ли логические выражения противоречиями. а) б)
- 40. Если две формулы при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они
- 41. Равносильность формул можно установить двумя способами: 1 способ: а) построить ТИ данных формул б) сравнить значения
- 42. Установить, верна ли равносильность формул (Выполните задание двумя способами, сравните результаты). а) б)
- 43. Какие из следующих формул равносильны: а) б) в) г) д) е)
- 44. ПОВТОРЕНИЕ Что такое логика, алгебра логики? Какие логические операции вы знаете? Что такое таблица истинности? Какая
- 45. Законы логики
- 46. Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они
- 47. Под упрощением формулы понимают равносильное преобразование, приводящее к формуле, которая: не содержит операций импликации и эквиваленции;
- 48. y 1. 2. 3. 4. 5. 6.
- 49. Пример упрощения логической формулы: 0 5а 1 6 6
- 50. Упростите логические формулы: законы: (5б, 4б, 6, 5а, 1)
- 51. Базовые логические элементы компьютера х у x^у конъюнктор х у xvу дизъюнктор инвертор х х
- 52. Базовые логические элементы компьютера (частные случаи) х у x^у х у xvу
- 53. Пример построения схемы логической формулы:
- 55. Скачать презентацию