Презентация, доклад по информатике на тему: Алгебра логики (8 класс)

в котором изучают операции над высказываниями.
Логическое высказывание – утвердительное предложение, о котором можно судить, истинно оно или ложно. Причем оно не может быть истинным и ложным одновременно. Логика высказываний рассматривает предложение не с точки зрения его смысла, содержания, а только с точки зрения их истинности или ложности.

нем можно утверждать что оно истинно, если завтра действительно будет идти дождь, или же ложно, если завтра дождя не будет.

Классический пример утверждения, не являющимся высказыванием таков:
Все, что написано в этом предложении, есть ложь.
Действительно, попытка определить истинное значение этого «высказывания» приводит к противоречию: если то, что написано, истинно, то это противоречит смыслу слов в предложении. То же противоречие возникает, если предположить, что оно ложно.

1, если ложно – 0.
Для удобства работы с высказываниями их заменяют на буквы английского алфавита.
Пусть высказывание А будет означать на улице идет дождь, а высказывание В – на улице светит солнышко. Посмотрев через окно на улицу, мы видим, что идет дождь. Значит высказывание А – истинно(1), а высказывание В – ложно(0), т.е. А=1, В=0.

нами как некое неделимое целое. Обычно к ним относятся высказывания, не содержащие логических связок (А, В, С, и т.п.).
Сложным называют высказывание, составленное из простых с помощью логических связок(операций) (А˅В, В˄Е,¬X~Y и т.п).
В логике над высказываниями производятся следующие основные операции(логические связки): отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Они рассматриваются как средство вычисления логического значения сложного высказывания.

и в математике.
1. Инверсия(отрицание) – логическая связка «не».
2. Конъюнкция – логическое умножение.
3. Дизъюнкция – логическое сложение.
4. Импликация – логическое следование.
5. Эквиваленция – логическое тождество(равенство).
Логические операции обычно иллюстрируют таблицей истинности – таблицы, описывающей логическую функцию.
Логическая функция в данном случае означает функцию, у которой значения переменных выражают логическую истинность – «истина» или «ложь».

будет последний столбец полученной таблицы..