Разделы презентаций


Формы мышления. Алгебра высказываний

Содержание

Основные формы мышленияЛогика – это наука о формах и способах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира.Формы мышленияПонятиеВысказываниеУмозаключение

Слайды и текст этой презентации

Слайд 1Формы мышления. Алгебра высказываний.
Тема 3.7

Формы мышления. Алгебра высказываний.Тема 3.7

Слайд 2Основные формы мышления
Логика – это наука о формах и способах

мышления. Законы логики отражают в сознании человека свойства, связи и

отношения объектов окружающего мира.


Формы мышления

Понятие

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

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

Основные формы мышленияЛогика – это наука о формах и способах мышления. Законы логики отражают в сознании человека

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

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

Слайд 4Высказывание
Своё понимание окружающего мира человек формулирует в форме высказываний.

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

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

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

ВысказываниеСвоё понимание окружающего мира человек формулирует в форме высказываний.Высказывание – это форма мышления, в которой что-либо утверждается

Слайд 5Умозаключение
Умозаключение – это форма мышления, с помощью которой из одного

или нескольких суждений(посылок) может быть получено новое суждение (заключение).
Посылками умозаключений

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

схема

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

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

могут принимать лишь два значения «истинно» (1) или «ложь» (0).
Например:
А=

«Два умножить на два равно четыре»
В= «Два умножить на два равно пять»
Поэтому А=1, В=0
Алгебра высказыванийВ алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» (1)

Слайд 7Логическое умножение (конъюнкция)
Объединение двух (или более) высказываний в одно с

помощью союза «и» называется операцией логического умножения или конъюнкцией. Обозначается

«&»
Составное высказывание, образованное в результате конъюнкции истинно тогда, и только тогда, когда истинны все входящие в него простые высказывания.

«2*2=5 и 3*3=10»
«2*2=5 и 3*3=9»
«2*2=4 и 3*3=10»
«2*2=4 и 3*3=9»

Логическое умножение  (конъюнкция)Объединение двух (или более) высказываний в одно с помощью союза «и» называется операцией логического

Слайд 8Например, F= A & B
Таблица истинности функции логического умножения
(конъюнкция)

Например, F= A & BТаблица истинности функции логического умножения(конъюнкция)

Слайд 9Логическое сложение (дизъюнкция)
Объединение двух (или более) высказываний в одно с

помощью союза «или» называется операцией логического сложения или дизъюнкцией. Обозначается

« »
Составное высказывание, образованное в результате дизъюнкции истинно тогда, когда истинно хотя бы одно входящее в него простое высказывание.

«2*2=5 или 3*3=10»
«2*2=5 или 3*3=9»
«2*2=4 или 3*3=10»
«2*2=4 или 3*3=9»

Логическое сложение  (дизъюнкция)Объединение двух (или более) высказываний в одно с помощью союза «или» называется операцией логического

Слайд 10Например, F= A V B
Таблица истинности функции логического сложения
(дизъюнкция)

Например, F= A V BТаблица истинности функции логического сложения(дизъюнкция)

Слайд 11Логическое отрицание (инверсия)
Присоединение частицы «не» к высказыванию называется операцией логического

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

ложное истинным.

Например, F= А

Таблица истинности функции логического отрицания

Логическое отрицание  (инверсия)Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией. Логическое отрицание делает

Слайд 12Логическое следование (импликация)
Импликация – это логическая операция, ставящая в соответствие

каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и

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

Таблица истинности операции импликации

Логическое следование  (импликация)Импликация – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание,

Слайд 13Равнозначность (эквивалентность)
Эквивалентность – это логическая операция, ставящая в соответствие каждым

двум простым высказываниям составное высказывание, являющееся истинным тогда и только

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

Таблица истинности операции эквивалентность

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

Слайд 14Логические выражения. Логические законы. Решение логических задач
Лекция 11

Логические выражения. Логические законы. Решение логических задачЛекция 11

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

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

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

Слайд 16Логические законы
Закон тождества
Всякое высказывание тождественно самому себе
А=А
Закон непротиворечия
Высказывание не может

быть одновременно истинным и ложным
А & A =0

Логические законыЗакон тождестваВсякое высказывание тождественно самому себеА=АЗакон непротиворечияВысказывание не может быть одновременно истинным и ложнымА & A

Слайд 17Логические законы
Закон двойного отрицания
Если дважды отрицать некоторое высказывание , то

в результате мы получим исходное высказывание.
А=А
Законы Де Моргана
А B

= A & B
A & B = A B

Логические законыЗакон двойного отрицанияЕсли дважды отрицать некоторое высказывание , то в результате мы получим исходное высказывание.А=АЗаконы Де

Слайд 18Логические законы
Закон коммутативности
A & B = B & A
A

B = B A
Закон ассоциативности
(А & B) & C

= A & (B & C)
(А B) C = A (B C)
Логические законыЗакон коммутативностиA & B = B & AA  B = B  AЗакон ассоциативности(А &

Слайд 19Логические законы
Закон дистибутивности
(А & B) (A & C)

= A & (B C)
(A B) & (A

C) = A (B & C)
Закон исключения третьего
A A = 1
Логические законы Закон дистибутивности(А & B)  (A & C) = A & (B  C)(A

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

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

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

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


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

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