Основы логики

Сентябрь 15, 2022

Главная
Информатика
Основы логики

Содержание

2. Процессор (АЛУ, УУ) Оперативная память Устройства ввода Долговременная память Устройства вывода М А Г И С
3. PRINT “Какую оценку Вы сегодня получили?” INPUT N IF N>=4 THEN PRINT “Молодец!” ELSE PRINT “Не
4. ЛОГИКА -- ЭТО УЧЕНИЕ О СПОСОБАХ РАССУЖДЕНИЙ И ДОКАЗАТЕЛЬСТВ, НАУКА О ЗАКОНАХ И ФОРМАХ МЫШЛЕНИЯ «LOGOS»
5. РАЗВИТИЕ ЛОГИКИ: СОКРАТ ПЛАТОН АРИСТОТЕЛЬ Древняя Греция: XVII в. Готфрид Вильгельм Лейбниц: «Рассуждения могут быть сведены
6. ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ: ВЫСКАЗЫВАНИЕ – ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, В КОТОРОМ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ. Свойство высказывания: ПРО
7. На марсе была жизнь. Динозавры были теплокровными животными. 1 марта 1 года новой эры на территории
8. Высказывание может принимать одно из двух возможных логических значений: ИСТИНА или ЛОЖЬ ИСТИНА ЛОЖЬ ЛОГИЧЕСКИЕ ПОСТОЯННЫЕ
9. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Конъюнкцией двух высказываний А и В называется новое высказывание А&В, которое истинно тогда и
10. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Дизъюнкцией двух высказываний А и В называется новое высказывание АVВ, которое ложно тогда и
11. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Отрицанием, или инверсией высказывания А называется новое высказывание А, которое истинно тогда, когда А
12. Логическое выражение – форма записи высказывания. Логические выражения составляются из простых высказываний с помощью логических операций,
13. ПРИОРИТЕТ ОПЕРАЦИЙ: -- находятся значения выражений в скобках; -- выполняются логические операции: - отрицание (NOT), -
14. НАЙДИТЕ ЗНАЧЕНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ: 1. (3x – 2y >5) AND (x-y при x = 2, y
15. ПРАКТИЧЕСКОЕ ЗАДАНИЕ: В текстовом процессоре MS Word изобразите таблицы (таблицу) истинности для логических операций: КОНЪЮНКЦИИ, ДИЗЪЮНКЦИИ,
16. ЗАДАНИЕ НА ДОМ: Выучить основные понятия математической логики: -- определения основных логических операций, таблицы истинности, --
17. Утверждение, заключенное в красную рамку на этом слайде, истинно. Утверждение, заключенное в синюю рамку на этом
18. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Импликация -- связывает два простых логических высказывания, из которых первое (А) является условием, а
19. ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Эквивалентность -- операция сравнения двух логических высказываний А и В, результатом которой является новое
21. Скачать презентацию

Слайд 2

Процессор
(АЛУ, УУ)
Оперативная память
Устройства ввода
Долговременная память
Устройства вывода
М А Г И С

Т Р А Л Ь

ФУНКЦИОНАЛЬНАЯ СХЕМА

КОМПЬЮТЕРА

Слайд 3

PRINT “Какую оценку Вы сегодня получили?”
INPUT N
IF N>=4 THEN PRINT “Молодец!”

ELSE PRINT “Не повезло!”

Слайд 4

ЛОГИКА -- ЭТО УЧЕНИЕ О СПОСОБАХ РАССУЖДЕНИЙ И ДОКАЗАТЕЛЬСТВ, НАУКА О

ЗАКОНАХ И ФОРМАХ МЫШЛЕНИЯ

«LOGOS» -- СЛОВО, МЫСЛЬ, ПОНЯТИЕ, РАССУЖДЕНИЕ, ЗАКОН

Слайд 5

РАЗВИТИЕ ЛОГИКИ:
СОКРАТ
ПЛАТОН
АРИСТОТЕЛЬ
Древняя Греция:
XVII в. Готфрид Вильгельм Лейбниц: «Рассуждения могут быть

сведены к механическому выполнению определенных действий по установленным правилам»

XIX в. – логика формируется как самостоятельный раздел математики. Джордж Буль: «Математический анализ логики» - 1847г., «Исследование законов мышления, базирующихся на математической логике и теории вероятности» - 1854г.

Слайд 6

ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ:
ВЫСКАЗЫВАНИЕ – ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, В КОТОРОМ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ

ИЛИ ОТРИЦАЕТСЯ.

Свойство высказывания: ПРО ВЫСКАЗЫВАНИЕ ВСЕГДА МОЖНО СКАЗАТЬ, ИСТИННО ОНО ИЛИ ЛОЖНО

Слайд 7

На марсе была жизнь.
Динозавры были теплокровными животными.
1 марта 1 года новой

эры на территории современной Москвы прошел дождь.

В тихом омуте черти водятся
С помощью философского камня можно превратить свинец в золото.

Слайд 8

Высказывание может принимать одно из двух возможных логических значений: ИСТИНА или

ЛОЖЬ

ИСТИНА

ЛОЖЬ

ЛОГИЧЕСКИЕ ПОСТОЯННЫЕ
Или
ЛОГИЧЕСКИЕ КОНСТАНТЫ

Слайд 9

ЛОГИЧЕСКИЕ ОПЕРАЦИИ:
Конъюнкцией двух высказываний А и В называется новое высказывание

А&В, которое истинно тогда и только тогда, когда истинны оба исходных (простых) высказывания.

Конъюнкция – логическое умножение
«И»
AND

Слайд 10

ЛОГИЧЕСКИЕ ОПЕРАЦИИ:
Дизъюнкцией двух высказываний А и В называется новое высказывание

АVВ, которое ложно тогда и только тогда, когда оба исходных (простых) высказывания ложны.

Дизъюнкция– логическое сложение
«ИЛИ»
OR

Слайд 11

ЛОГИЧЕСКИЕ ОПЕРАЦИИ:
Отрицанием, или инверсией высказывания А называется новое высказывание А,

которое истинно тогда, когда А – ложно, и ложно тогда, когда А – истинно.

Отрицание, или инверсия
«НЕ», «НЕВЕРНО, ЧТО»
NOT

Слайд 12

Логическое выражение – форма записи высказывания.
Логические выражения составляются из простых высказываний

с помощью логических операций, а так же операций отношения (>, <, >=, <=, <>) и круглых скобок.
Логическое выражение может иметь значение «Истина» или «ЛОЖЬ» (обозначение 1 и 0 соответственно)

Пример 1. Найдите значение логического выражения: (3x – 2y > 5) AND (x-y <= 0) OR (2x + 5y < 4) при х = 2, у = 3.

Слайд 13

ПРИОРИТЕТ ОПЕРАЦИЙ:
-- находятся значения выражений в скобках;
-- выполняются логические операции:

- отрицание (NOT),
- конъюнкция (AND),
- дизъюнкция (OR).

Слайд 14

НАЙДИТЕ ЗНАЧЕНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ:
1. (3x – 2y >5) AND (x-y

<= 0) OR (2x +5y <4),
при x = 2, y = 3.
2. (5a -8b >12) OR (a + b <= 4) AND (2ab < 3) OR (8b – a =4),
при a= 5, b = 4.
3. NOT (12m < 4n) AND (3n +2 > 2m) OR (5n -2m <= 7),
при m = 2, n = 5

Слайд 15

ПРАКТИЧЕСКОЕ ЗАДАНИЕ:
В текстовом процессоре MS Word изобразите таблицы (таблицу) истинности

для логических операций:
КОНЪЮНКЦИИ, ДИЗЪЮНКЦИИ, ИНВЕРСИИ.
Полученный файл сохраните на рабочем столе под своей фамилией.

Слайд 16

ЗАДАНИЕ НА ДОМ:
Выучить основные понятия математической логики: -- определения

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

Слайд 17

Утверждение, заключенное в красную рамку на этом слайде, истинно.
Утверждение, заключенное в

синюю рамку на этом слайде, ложно.

Слайд 18

ЛОГИЧЕСКИЕ ОПЕРАЦИИ:
Импликация -- связывает два простых логических высказывания, из которых

первое (А) является условием, а второе (В) – следствием. Результатом импликации является ЛОЖЬ тогда и только тогда, когда условие (А) истинно, а следствие (В) ложно.

Импликация – логическое следование
«ЕСЛИ… , ТО…»

Слайд 19

ЛОГИЧЕСКИЕ ОПЕРАЦИИ:
Эквивалентность -- операция сравнения двух логических высказываний А и

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

Эквивалентность – равнозначность

Основы логики

Содержание

Процессор (АЛУ, УУ)Оперативная памятьУстройства вводаДолговременная памятьУстройства выводаМ А Г И С

PRINT “Какую оценку Вы сегодня получили?”INPUT NIF N>=4 THEN PRINT “Молодец!”

ЛОГИКА -- ЭТО УЧЕНИЕ О СПОСОБАХ РАССУЖДЕНИЙ И ДОКАЗАТЕЛЬСТВ, НАУКА О

РАЗВИТИЕ ЛОГИКИ: СОКРАТПЛАТОНАРИСТОТЕЛЬДревняя Греция:XVII в. Готфрид Вильгельм Лейбниц: «Рассуждения могут быть

ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ: ВЫСКАЗЫВАНИЕ – ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, В КОТОРОМ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ

На марсе была жизнь.Динозавры были теплокровными животными.1 марта 1 года новой

Высказывание может принимать одно из двух возможных логических значений: ИСТИНА или

ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Конъюнкцией двух высказываний А и В называется новое высказывание

ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Дизъюнкцией двух высказываний А и В называется новое высказывание

ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Отрицанием, или инверсией высказывания А называется новое высказывание А,

Логическое выражение – форма записи высказывания.Логические выражения составляются из простых высказываний

ПРИОРИТЕТ ОПЕРАЦИЙ: -- находятся значения выражений в скобках;-- выполняются логические операции:

НАЙДИТЕ ЗНАЧЕНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ: 1. (3x – 2y >5) AND (x-y

ПРАКТИЧЕСКОЕ ЗАДАНИЕ: В текстовом процессоре MS Word изобразите таблицы (таблицу) истинности

ЗАДАНИЕ НА ДОМ: Выучить основные понятия математической логики: -- определения

Утверждение, заключенное в красную рамку на этом слайде, истинно.Утверждение, заключенное в

ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Импликация -- связывает два простых логических высказывания, из которых

ЛОГИЧЕСКИЕ ОПЕРАЦИИ: Эквивалентность -- операция сравнения двух логических высказываний А и

Похожие презентации