Презентация на тему: Логика

Логика Петухова С.И. учитель информатики ГОУ СОШ №418

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

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

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

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

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

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

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

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

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

Упрощение логических выражений Решить самостоятельно

Логические задачи

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

Решение логических задач с помощью таблиц истинности