Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Алгебра логики (3)

Содержание

Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления:
Алгебра логики 18.10.06 Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления: это форма мышления, фиксирующая основные, существенные признаки объекта.Понятие - СодержаниеОбъем Высказывание может быть истинно или ложно.Высказывание - это форма мышления, в которой Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.Умозаключение - В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь Для образования новых высказываний используются базовые логические операции:инверсиялогическое отрицание операция не конъюнкция Логическое отрицание -операция не - инверсияНЕАА Логическое умножение - операция и - конъюнкцияC=A&B Логическое сложение -  операция или - дизъюнкцияИЛИАВСC=A۷B Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую Логические законы и правила преобразования логических выраженийЗакон тождества: всякое высказывание тождественно самому Логические законы и правила преобразования логических выраженийЗаконы Моргана: А ۷ В=А & Таблицы истинностиКоличество строк = 2 ª, где а – количество переменных;Количество столбцов ПримерF(A,B,C) = (A^B) ۷ (Ā ۷ C)
Слайды презентации

Слайд 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 ª, где а – количество переменных;Количество

– количество переменных;
Количество столбцов = количество переменных + количество

логических операций

  • Имя файла: algebra-logiki-3.pptx
  • Количество просмотров: 92
  • Количество скачиваний: 0