Презентация, доклад к уроку информатики на тему Алгебра логики. Логическое высказывание. Основные логические операции (9 класс, учебник Семакина)

предложение, которое может быть истинно (верно) или ложно.
Утверждение – суждение, которое требуется доказать или опровергнуть.
Рассуждение – цепочка высказываний или утверждений, определенным образом связанных друг с другом.
Умозаключение – логическая операция, в результате которой из одного или нескольких данных суждений получается (выводится) новое суждение
Логическое выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0).
Сложное логическое выражение – логическое выражение, составленное из одного или нескольких простых (или сложных) логических выражений, связанных с помощью логических операций.

(следование)
5. Эквивалентность (равнозначность)

и только тогда, когда исходное высказывание ложно.
В выражениях обозначается ¬A или A.
Читается «НЕ» (например, «не А»).

и только тогда, когда истинны оба исходных высказывания.
В выражениях обозначается A ∧ B или A & B (знак может не указываться — AB).
Читается «И» (например, «А и Б»)

когда истинно хотя бы одно из исходных высказываний.
В выражениях обозначается A ∨ B, иногда A + B.
Читается «ИЛИ» (например, «А или Б»)

и только тогда, когда первое исходное высказывание истинно, а второе — ложно.
В выражениях обозначается A ⇒ B или A → B.
Читается «ЕСЛИ...ТО» (например, «если А, то Б»)

и только тогда, когда значения исходных высказываний совпадают.
В выражениях обозначается A ⇔ B или A ≡ B.
Читается «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (например, «А тогда и только тогда, когда Б»)

таблица, в которой указаны значения логической функции для всех возможных комбинаций значений ее аргументов.