Содержание Формальная логика Формы мышления Упражнения Алгебра логики Логические операции Логические законы Логические задачи. - презентация

1

2 Содержание Формальная логика Формы мышления Упражнения Алгебра логики Логические операции Логические законы Логические задачи

3 Логика Логика – это наука о формах и способах мышления. Логика - одна из древнейших наук. Ее основателем считается древнегреческий философ Аристотель.Аристотель содержание

4 Формы мышления Понятие – форма мышления, фиксирующая основные, существенные признаки предметов. Две основные логические характеристики: Содержание понятия – совокупность существенных признаков, отраженных в этом понятии. Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержания понятия. содержание

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

6 Умозаключение Умозаключение – форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам вывода получаем суждение-заключение. Все книги интересные. Учебник – книга. Учебник –интересный! Все книги интересные. Учебник – книга. Учебник –интересный!

7 Какие из предложений являются высказываниями? Определите их истинность. 1.Число 6 – чётное. 2.Посмотрите на доску. 3.Все роботы являются машинами. 4.Внимание! 5.Кто отсутствует? 6.Есть кошки, которые дружат с собаками. 7.Не всё то золото, что блестит. 8.x Некоторые люди являются художниками. 10.Выразите 1 час 15 минут в минутах. 11.Всякий моряк умеет плавать. Какие из предложений являются высказываниями? Определите их истинность. 1.Число 6 – чётное. 2.Посмотрите на доску. 3.Все роботы являются машинами. 4.Внимание! 5.Кто отсутствует? 6.Есть кошки, которые дружат с собаками. 7.Не всё то золото, что блестит. 8.x Некоторые люди являются художниками. 10.Выразите 1 час 15 минут в минутах. 11.Всякий моряк умеет плавать. Упражнения содержание

8 Алгебра логики Создана в 19 веке английским математиком Джорджем Булем.Джорджем Булем СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН ИЗ РАЗДЕЛОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. РАЗРАБОТАЛ СВОЙ АЛФАВИТ, ОРФОГРАИЮ И ГРАММАТИКУ содержание

9 Логическое умножение (конъюнкция) Обозначается & или ^ Составное высказывание, образованное в результате операции логического умножения, истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. Таблица истинности функции логического умножения F= A & B

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

11 Упрощение логических выражений

12 123 4 содержание

13 Задача 1 В симфонический оркестр приняли на работу трех музыкантов: Брауна, Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе. Известно, что: Смит самый высокий; Играющий на скрипке меньше ростом играющего на флейте; Играющий на скрипке и флейте и Браун любят пицу; Когда между альтистом и трубачом возникает ссора, Смит мирит их; Браун не умеет играть ни на трубе, ни на гобое. На каких инструментах играет каждый из музыкантов, если каждый владеет двумя инструментами? содержание

14 гобой Вессона Смит Браун трубакларнетальтфлейтаскрипка Решение логических задач с помощью таблиц истинности 1 гобой 11 Вессона 1 Смит 11 Браун трубакларнетальтфлейтаскрипка Проверь себя содержание