Презентация на тему Алгебра логики первая часть

Содержание

Слайд 2

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

Понятие;
Высказывание;
Умозаключение

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

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

Слайд 3

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

Понятие -

Содержание
Объем

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

Слайд 4

Высказывание может быть истинно или ложно.

Высказывание -

это форма мышления, в которой

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

Слайд 5

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

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

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

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

Слайд 6

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

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь
два значения «истинно» и «ложно».
Истинно =1
Ложно=0

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

Слайд 7

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

инверсия

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

конъюнкция

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

дизъюнкция

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

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

Слайд 8

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

НЕ

А

А

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

Слайд 9

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

C=A&B

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

Слайд 10

Логическое сложение - операция или - дизъюнкция

ИЛИ

А

В

С

C=A۷B

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

Слайд 11

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

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

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

Слайд 12

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

Закон тождества: всякое высказывание тождественно самому

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

Слайд 13

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

Законы Моргана:
А ۷ В=А &

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

Слайд 14

Таблицы истинности

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

Таблицы истинности Количество строк = 2 ª, где а – количество переменных;
= количество переменных + количество логических операций
Имя файла: Презентация-на-тему-Алгебра-логики-первая-часть-.pptx
Количество просмотров: 549
Количество скачиваний: 0