числе и над высказываниями. Такая алгебра называется алгеброй логикой или алгеброй высказывания. (Приложение 2)
Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составленных высказываний, не вникая в их содержание.
И в алгебре высказываний определяют следующие понятия.
Логическая переменная – это простое высказывание, содержащее только одну мысль, обозначаемые прописными буквами латинского алфавита. (Приложение 2)
Но высказывания могут быть истинными или ложными. Поэтому истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0.
Пример: Рассмотрим два простых высказывания:
А Два умножить на три равно шести
В Два умножить на три равно семи
В нашем случае первое высказывание истинно, т. е. А 1, а второе ложно. т. е.
В 0
В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания.
摧ញ3ጀ
Ò
Ö
n
ò
ô
– Логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций.
Рассмотрим три базовые логические операции выражаемые с помощью логических связок и, или, не, конъюнкция, дизъюнкция и отрицание.
И дополнительные это: импликация и эквивалентность.
Подготовить для учащихся таблицу. (Приложение 3)
Логическое выражение – составное высказывание (логическая функция) выраженное в виде формулы, в которую входят логические переменные и знаки логических операций, значение которого можно вычислить.
Решение задач.
Работа по группам. Обучающиеся делятся на группы и выполняют задания самостоятельно в тетрадях. Если возникают вопросы, задают их
Страницы: << < 2 | 3 | 4 | 5 | 6 > >>