Основы логики. Алгебра высказываний

Июль 28, 2022

Главная
Информатика
Основы логики. Алгебра высказываний

Содержание

2. ЛОГИКА Логика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или
3. АЛГЕБРА ЛОГИКИ Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают
4. АЛГЕБРА ЛОГИКИ Существуют три основные логические операции: Отрицание (инверсия, операция, выражаемая словом “не”). Дизъюнкция (логическое сложение,
5. ЛОГИЧЕСКИЕ ФУНКЦИИ Логический элемент — это устройство, реализующее ту или иную логическую функцию. Y = f(X1,X2,X3,...,Xn)
6. логические операции конъюнкция логическое умножение операция И * /\ Составное высказывание , образованное в результате операции
7. логические операции дизъюнкция логическое сложение операция ИЛИ + \/ Составное высказывание , образованное в результате операции
8. логические операции инверсия логическое отрицание операция НЕ - A Составное высказывание , образованное в результате операции
9. логические операции импликация логическое следование -> Составное высказывание , образованное в результате операции логического следования (импликации),
11. Скачать презентацию

Слайд 2

ЛОГИКА
Логика — наука, изучающая методы установления истинности или ложности одних высказываний

на основе истинности или ложности других высказываний (утверждений).

Математическая логика — современная форма логики, опирающаяся на формальные математические методы.

Слайд 3

АЛГЕБРА ЛОГИКИ
Алгебра логики — это математический аппарат, с помощью которого записывают,

вычисляют, упрощают и преобразовывают логические высказывания.

Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

Слайд 4

АЛГЕБРА ЛОГИКИ
Существуют три основные логические операции:
Отрицание (инверсия, операция, выражаемая словом “не”).

Дизъюнкция (логическое сложение, операция, выражаемая связкой “или” +,\/).

Конъюнкция (логическое умножение, операция, выражаемая связкой “и”- /\).

Слайд 5

ЛОГИЧЕСКИЕ ФУНКЦИИ
Логический элемент — это устройство, реализующее ту или иную логическую

функцию. Y = f(X1,X2,X3,...,Xn) — логическая функция, может быть задана таблицей, которая называется таблицей истинности.

Логическая функция — это функция логических переменных, которая может принимать только два значения: 0 или 1.

Слайд 6

$логические операции конъюнкция логическое умножение операция И * /\ Составное высказывание$

логические операции
конъюнкция
логическое умножение
операция И
*
/\
Составное высказывание , образованное в результате

операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.

Слайд 7

$логические операции дизъюнкция логическое сложение операция ИЛИ + \/ Составное высказывание$

логические операции
дизъюнкция
логическое сложение
операция ИЛИ
+
\/
Составное высказывание , образованное в результате

операции логического сложения (дизъюнкции), истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

Слайд 8

логические операции
инверсия
логическое отрицание
операция НЕ
-
A
Составное высказывание , образованное в результате

операции логического отрицания делает истинное высказывание ложным, а ложное истинным.

Слайд 9

логические операции
импликация
логическое следование
->
Составное высказывание , образованное в результате операции логического

следования (импликации), ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).

Основы логики. Алгебра высказываний

Содержание

ЛОГИКАЛогика — наука, изучающая методы установления истинности или ложности одних высказываний

АЛГЕБРА ЛОГИКИАлгебра логики — это математический аппарат, с помощью которого записывают,

АЛГЕБРА ЛОГИКИСуществуют три основные логические операции:Отрицание (инверсия, операция, выражаемая словом “не”).

ЛОГИЧЕСКИЕ ФУНКЦИИЛогический элемент — это устройство, реализующее ту или иную логическую

логические операцииконъюнкциялогическое умножение операция И */\Составное высказывание , образованное в результате

логические операциидизъюнкциялогическое сложение операция ИЛИ +\/Составное высказывание , образованное в результате

логические операцииинверсиялогическое отрицание операция НЕ -AСоставное высказывание , образованное в результате

логические операцииимпликациялогическое следование ->Составное высказывание , образованное в результате операции логического

Похожие презентации