Презентация "Алгебра логики" - скачать презентации по Информатике_

Август 31, 2022

Главная
Информатика
Презентация "Алгебра логики" - скачать презентации по Информатике_

Содержание

2. Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления:
3. это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие - Содержание Объем
4. Высказывание может быть истинно или ложно. Высказывание - это форма мышления, в которой что-либо утверждается или
5. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Умозаключение - это форма мышления,
6. В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и
7. Для образования новых высказываний используются базовые логические операции: инверсия логическое отрицание операция не конъюнкция дизъюнкция логическое
8. Логическое отрицание -операция не - инверсия НЕ А А
9. Логическое умножение - операция и - конъюнкция C=A&B
10. Логическое сложение - операция или - дизъюнкция ИЛИ А В С C=A۷B
11. Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие
12. Логические законы и правила преобразования логических выражений Закон тождества: всякое высказывание тождественно самому себе. А=А Закон
13. Логические законы и правила преобразования логических выражений Законы Моргана: А ۷ В=А & В А &
14. Таблицы истинности Количество строк = 2 ª, где а – количество переменных; Количество столбцов = количество
16. Скачать презентацию

Слайд 2

Логика - это наука о формах и способах мышления.
Понятие;
Высказывание;

Умозаключение

Основные формы мышления:

Слайд 3

это форма мышления, фиксирующая основные, существенные признаки объекта.
Понятие -
Содержание
Объем

Слайд 4

Высказывание может быть истинно или ложно.
Высказывание -
это форма мышления, в

которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними.

Слайд 5

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.
Умозаключение

это форма мышления, с помощью которой из одного или несколько суждений (посылок) может быть получено новое суждение (заключение).

Слайд 6

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать

лишь два значения «истинно» и «ложно».
Истинно =1
Ложно=0

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

Слайд 7

Для образования новых высказываний используются базовые логические операции:
инверсия
логическое отрицание
операция не

конъюнкция

дизъюнкция

логическое умножение
операция и

логическое сложение
операция или

Слайд 8

Логическое отрицание -операция не - инверсия
НЕ
А
А

Слайд 9

Логическое умножение - операция и - конъюнкция
C=A&B

Слайд 10

Логическое сложение - операция или - дизъюнкция
ИЛИ
А
В
С
C=A۷B

Слайд 11

Каждое составное высказывание можно выразить в виде формулы (логического выражения), в

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

Логические выражения

Слайд 12

Логические законы и правила преобразования логических выражений
Закон тождества: всякое высказывание тождественно

самому себе.
А=А
Закон непротиворечия: высказывание не может быть одновременно истинным и ложным.
А & А=1
Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано.
А ۷ А=1
Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.
А=А

Слайд 13

Логические законы и правила преобразования логических выражений
Законы Моргана:
А ۷ В=А

& В
А & В=А ۷ В

Слайд 14

Таблицы истинности
Количество строк = 2 ª, где а – количество переменных;
Количество

столбцов = количество переменных + количество логических операций

Презентация "Алгебра логики" - скачать презентации по Информатике_

Содержание

Логика - это наука о формах и способах мышления. Понятие; Высказывание;

это форма мышления, фиксирующая основные, существенные признаки объекта.Понятие - СодержаниеОбъем

Высказывание может быть истинно или ложно.Высказывание - это форма мышления, в

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.Умозаключение

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать

Для образования новых высказываний используются базовые логические операции:инверсиялогическое отрицание операция не

Логическое отрицание -операция не - инверсияНЕАА

Логическое умножение - операция и - конъюнкцияC=A&B

Логическое сложение - операция или - дизъюнкцияИЛИАВСC=A۷B