Презентация по информатике на тему "Логика" (10 класс)

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

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

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

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

Понятие

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

Содержание

Объем

Содержание понятия составляет совокупность существенных признаков объекта

Объем понятия определяется совокупностью предметов, на которую оно распространяется

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

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

Истинным

Ложным

Простое высказывание

Простое высказывание

+

=

Составное высказывание

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

Высказывание не может быть выражено повелительным или вопросительным предложением, так как оценка их истинности или ложности невозможна

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

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

Вопросы для размышления

1. Какие существуют основные формы мышления?
2. В чем состоит разница между содержанием и объемом понятия?
3. Может ли быть высказывание выражено в форме вопросительного предложения?
4. Как определяется истинность или ложность простого высказывания? Составного высказывания?

Домашняя работа

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

В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита

А = «Два умножить на два равно четырем»
В = «Два умножить на два равно пяти»

А = 1
В = 0

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

«И», «ИЛИ», «НЕ»

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

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

(1) «2 • 2 = 5 и 3 • 3 = 10»,

(2) «2 • 2 = 5 и 3 • 3 = 9»,

(3) «2 • 2 = 4 и 3 • 3 = 10»,

(4) «2 • 2 = 4 и 3 • 3 = 9».

Операцию логического умножения (конъюнкцию) принято обозначать значком «&» либо «^». Образуем составное высказывание F:

F = А^В

(3) «2 • 2 = 4 и 3 • 3 = 10»,


(4) «2 • 2 = 4 и 3 • 3 = 9».

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

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

(1) «2 • 2 = 5 или 3 • 3 = 10»,

(2) «2 • 2 = 5 или 3 • 3 = 9»,

(3) «2 • 2 = 4 или 3 • 3 = 10»,

(4) «2 • 2 = 4 или 3 • 3 = 9».

Операцию логического сложения (дизъюнкцию) принято обозначать значком «+» либо «V». Образуем составное высказывание F:

F = АVВ

(1) «2 • 2 = 5 или 3 • 3 = 10»,


(3) «2 • 2 = 4 или 3 • 3 = 10».

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

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

Операцию логического отрицания (инверсию) принято обозначать значком «¬» либо «A». Образуем составное высказывание F:

F = ¬ А

Задания

Составить составное высказывание, содержащее операции логического умножения, сложения и отрицания. Определить его истинность.

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

«(2 • 2 = 5 или 2 • 2 = 4) и (2 • 2 ≠ 5 или 2 • 2 ≠ 4)»

А = «2 • 2 = 5» В = «2 • 2 = 4»
Составное высказывание: «(А или В) и (А или В)».
При выполнении логических операций определен следующий порядок их выполнения:
инверсия (логическое отрицание, А, «не»),
конъюнкция (логическое умножение, ^, «и»),
дизъюнкция (логическое сложение, v, «или»).
Для изменения указанного порядка могут использоваться скобки:
F = (A v В) ^ (А v В)

А=0, В=1F = (A v B) ^ (A v В) =

Для каждого составного высказывания (логического выражения) можно построить таблицу истинности

При построении таблиц истинности целесообразно руководствоваться последовательностью действий

Во-первых, необходимо определить количество строк в таблице,
количество строк = 2n, где n - количество логических переменных
Во-вторых, необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.
В-третьих, необходимо построить таблицу истинности с указанным количеством строк и столбцов, обозначить столбцы и внести в таблицу возможные наборы значений исходных логических переменных.
В-четвертых, необходимо заполнить таблицу истинности по столбцам, выполняя базовые логические операции в необходимой последовательности

F = (A v B) ^ (A v В)

Таблица 4. Таблица истинности логической функции F = (A v B) ^ (А v В)

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

Докажем, что логические выражения А ^ В и А v B равносильны

Построим сначала таблицу истинности логического выражения A ^ B

Теперь построим таблицу истинности логического выражения

1. Записать составное высказывание
«(2 • 2 = 4 и 3 • 3 = 9) или (2•2 ≠ 4 и 3 • 3 ≠ 9)»
в форме логического выражения.
Построить таблицу истинности.

2. Доказать, используя таблицы истинности, что
логические выражения А v B и А ^ В равносильны.

1. Что содержат таблицы истинности и каков порядок их построения?
2. Какие логические выражения называются равносильными?

Любое составное высказывание можно рассматривать как логическую функцию F(X1, Х2, ..., Хп).

Логическая функция двух аргументов имеет 4 возможных набора значений аргументов. Поэтому, число функций:
N = 24 = 16

Существует 16 различных логических функций двух аргументов

В обыденной и научной речи кроме базовых логических связок «и», «или», «не» используются и некоторые другие:
«если... то...»,
«... тогда и только тогда, когда...» и др.
Некоторые из них имеют свое название и свой символ, и им соответствуют определенные логические функции

Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если..., то...».
Логическая операция импликации «если А, то B», обозначается А → В и выражается с помощью логической функции F14, которая задается соответствующей таблицей истинности (табл.8).

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

Высказывание «Если число делится на 10, то оно делится на 5» истинно, так как истинны и первое высказывание (предпосылка), и второе высказывание (вывод).
Высказывание «Если число делится на 10, то оно делится на 3» ложно, так как из истинной предпосылки делается ложный вывод.
Однако операция логического следования несколько отличается от обычного понимания слова «следует». Если первое высказывание (предпосылка) ложно, то вне зависимости от истинности или ложности второго высказывания (вывода) составное высказывание истинно. Это можно понимать таким образом, что из неверной предпосылки может следовать что угодно.

В алгебре высказываний все логические функции могут быть сведены путем логических преобразований к трем базовым: логическому умножению, логическому сложению и логическому отрицанию

Докажем методом сравнения таблиц истинности (табл. 8 и 9), что операция импликации А → В равносильна логическому выражению А v В

Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «... тогда и только тогда, когда ...».
Логическая операция эквивалентности «А тогда и только тогда, когда В» обозначается А↔В и выражается с помощью логической функции F10, которая задается соответствующей таблицей истинности (табл. 10).

Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны

Рассмотрим, например, два высказывания: А = «Компьютер может производить вычисления» и В = «Компьютер включен». Составное высказывание, полученное с помощью операции эквивалентности, истинно, когда оба высказывания либо истинны, либо ложны:
«Компьютер может производить вычисления тогда и только тогда, когда компьютер включен».
«Компьютер не может производить вычисления тогда и только тогда, когда компьютер не включен».
Составное высказывание, полученное с помощью операции эквивалентности, ложно, когда одно высказывание истинно, а другое – ложно:
«Компьютер может производить вычисления тогда и только тогда, когда компьютер не включен».
«Компьютер не может производить вычисления тогда и только тогда, когда компьютер включен».

Доказать, используя таблицы истинности, что операция эквивалентности А ↔ В равносильна логическому выражению: (A v B) ^ (A v B).

1. Какое количество логических функций двух аргументов существует?
2. Какие логические функции двух аргументов имеют свои названия?
3. Какое существует количество логических функций трех аргументов?

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

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

А = А

Высказывание не может быть одновременно истинным и ложным. Если А истинно, то не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно:

Высказывание может быть либо истинным, либо ложным, третьего не дано. Следовательно, результат логического сложения и его отрицания всегда «истина»:

Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание

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

Закон коммутативности
Можно менять местами логические переменные при операциях ^ и v:

Закон ассоциативности

Если используются только ^ или только v, то можно пренебрегать скобками или произвольно их расставлять:

В отличие от обычной алгебры, где за скобки можно выносить только общие множители, в алгебре высказываний можно выносить за скобки как общие множители, так и общие слагаемые:

Необходимо упростить логическое выражение:

1. Доказать справедливость первого и второго законов де Моргана, используя таблицы истинности.
2. Упростить логические выражения:

Ответы:

Для логического сложения
Х  Х = Х
Для логического умножения
Х  Х = Х

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

В школе в каждой из двух аудиторий может находиться либо кабинет информатики, либо кабинет физики. На дверях аудиторий повесили шутливые таблички. На первой повесили табличку «По крайней мере, в одной из этих аудиторий размещается кабинет информатики», а на второй аудитории – табличку с надписью «Кабинет физики находится в другой аудитории». Проверяющему известно только, что надписи на табличках либо обе истинны, либо обе ложны. Помогите найти кабинет информатики.

Так как в каждой из аудиторий может находиться кабинет информатики, то пусть:
А = «В первой аудитории находится кабинет информатики»;
В = «Во второй аудитории находится кабинет информатики».
Отрицания этих высказываний:
= «В первой аудитории находится кабинет физики»;
= «Во второй аудитории находится кабинет физики».

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

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

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

Подставим вместо X и Y формулы:


Упростим сначала первое слагаемое. В соответствии с законом дистрибутивности умножения относительно сложения:


В соответствии с законом непротиворечия:

Упростим теперь второе слагаемое. В соответствии с первым законом де Моргана, двойного отрицания и ассоциативности:


В соответствии с законом непротиворечия:


В результате получаем:

Полученное логическое выражение оказалось простым и поэтому его можно проанализировать без построения таблицы истинности. Для того чтобы выполнялось равенство должны быть равны 1, то есть соответствующие им высказывания истинны.

Ответ:
В первой аудитории находится кабинет физики, а во второй – кабинет информатики.

Брауну, Джонсу и Смиту предъявлено обвинение в соучастии в ограблении банка. В ходе следствия Браун сказал, что преступники были на синем "Бьюике", Джонс сказал, что это был черный "Крайслер", Смит утверждал, что это был "Форд", но не синий. Каждый указал неправильно либо марку, либо цвет автомобиля.

(х = "машина – синяя", у = "машина – Бьюик", z = "машина – черная", k = "машина – Крайслер", f = "машина – Форд").

Высказывание Брауна –
высказывание Джонса –
высказывание Смита –

Так как одна из переменных принимает значение "истина", то истинны и дизъюнкции вида:

X v Y = 1, Z v K = 1, X v F = 1

Чтобы определить машину, должно выполняться условие:

X ^ Y

Z ^ K

X ^ F

(X v Y) ^ (Z v K) ^ (X v F) = 1

Упростим:

В результате, получаем:

Y ^ Z ^ X = 1,
Так как конъюнкция истинна только тогда, когда
Y = 1, Z = 1, X = 1,
то заключаем, что автомобиль был
черным "Бьюиком".

Укажите, какое логическое выражение равносильно выражению A ^ ¬ (¬B v C)?

1) ¬A v ¬B v ¬C
2) A ^ ¬B ^ ¬C
3) A ^ B ^ ¬C
4) A ^ ¬B ^ C

Построить таблицу истинности для выражения

Операция логического умножения: Обозначение: либо . Составное высказывание F:

F =

Операция логического сложения: Обозначение: либо . Составное высказывание F:

F =

Операция логического отрицания: Обозначение: либо . Составное высказывание F:

F =

Базовые логические элементы

Базовые логические элементы реализуют три основные логические операции:
логический элемент "И" - логическое умножение;
логический элемент "ИЛИ" - логическое сложение;
логический элемент "НЕ" - инверсию.

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

Логические элементы компьютера оперируют с сигналами, представляющими собой электрические импульсы

Есть импульс - 1,
нет импульса - 0.
На входы логического элемента поступают сигналы-значения аргументов, на выходе появляется сигнал-значение функции.

В целях упрощения работы компьютера все операции в процессоре сводится к сложению двоичных чисел. Поэтому главной частью процессора являются сумматоры, которые обеспечивают такое сложение.

Таблица сложения одноразрядных двоичных чисел с учетом переноса в старший разряд

Р = А ^ В

Построим из базовых логических элементов схему сложения одноразрядных двоичных чисел

Для получения переноса необходимо использовать
логический элемент "И"

Данная схема называется полусумматором, так как реализует суммирование одноразрядных двоичных чисел без учета переноса из младшего разряда

Должен иметь три входа: А, В - слагаемые и Р0 - перенос из младшего разряда и два выхода: сумму S и перенос Р

Р = (А ^ В) v (А ^ Р0) v (В ^ Р0)

Для получения суммы:

Для полусумматора

Аналогично, для полного одноразрядного сумматора

Р = (А ^ В) v (А ^ Р0) v (В ^ Р0)

Р = (А ^ В) v (А ^ Р0) v (В ^ Р0)

Для получения правильного значения суммы необходимо сложить полученное выше S с результатом логического умножения входных переменных (А, В, P0)

Состоит из полных одноразрядных сумматоров. На каждый разряд ставится одноразрядный сумматор, причем выход (перенос) сумматора младшего разряда подключается ко входу сумматора старшего разряда

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

Триггер можно построить из двух логических элементов "ИЛИ" и двух элементов "НЕ"

1. Построить таблицы истинности для логических формул, по которым определяются перенос и сумма полного одноразрядного сумматора.
2. Построить схему полного сумматора одноразрядных двоичных чисел с учетом переноса из младшего разряда.
3. Проследить по логической схеме триггера, что происходит после поступления сигнала 1 на вход R (сброс).

Строгая дизъюнкция или Сложение по модулю «2»

Соответствует оборотам речи «или…, или…» или «либо…, либо…», и обозначается



Выражение истинно в том и только в том случае, когда исходные высказывания A и B не равны между собой

Представление сложения по модулю «2» через конъюнкцию, дизъюнкцию и инверсию:

Сравнив таблицы истинности операций эквивалентности и сложения по модулю «2», можно сделать вывод, что эти операции являются инверсией друг друга, то есть

Свойства строгой дизъюнкции:

Соответствует обороту речи «ни…, ни…», обозначается следующим образом:
А↓В

Выражение А↓В истинно в том и только в том случае, когда оба высказывания A и B ложны

Представление стрелки Пирса через конъюнкцию, дизъюнкцию и инверсию:

Сравнив таблицы истинности операций дизъюнкции и стрелки Пирса, можно сделать вывод, что эти операции являются инверсией друг друга, то есть

Свойства Стрелки Пирса:

Соответствует обороту речи «не… или не…», обозначается следующим образом
А|В

Выражение А|В ложно в том и только в том случае, когда оба высказывания A и B истины

Представление штриха Шеффера через конъюнкцию, дизъюнкцию и инверсию:

Сравнив таблицы истинности операций конъюнкции и штриха Шеффера, можно сделать вывод, что эти операции являются инверсией друг друга, то есть

Свойства Штриха Шеффера:

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

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

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

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

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

Операция логического умножения: Обозначение: либо . Составное высказывание F:

F =

Логическая связка

Операция логического сложения: Обозначение: либо . Составное высказывание F:

F =

Логическая связка

Операция логического отрицания: Обозначение: либо . Составное высказывание F:

F =

Логическая связка

Операция логического следования: Обозначение: либо . Составное высказывание F:

F =

Логическая связка

Операция логического равенства: Обозначение: либо . Составное высказывание F:

F =

Логическая связка

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

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

Упростите выражение

Логические основы устройства компьютера

Построить логические схемы