Содержание

Слайд 2

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

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

Слайд 3

Содержание

Формы мышления
Алгебра высказываний
Логические выражения и таблицы истинности
Алгоритм построения таблиц истинности
Домашнее

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

Слайд 4

1. Формы мышления
Основные формы мышления:
Понятие
Высказывание
Умозаключение

содержание

1. Формы мышления Основные формы мышления: Понятие Высказывание Умозаключение содержание

Слайд 5

1.1. Понятие

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

Понятие

Содержание

Объем

Совокупность существенных

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

Совокупность предметов, на которую распространяется понятие

содержание

Слайд 6

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

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

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

Высказывание является повествовательным предложением.

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

Истинное

Ложное

Связь понятий правильно отражает свойства и отношения реальных вещей

Высказывание не соответствует реальной действительности

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

Простое

Составное

содержание

Слайд 7

Какие из предложений являются высказыванием?

Какие из предложений являются высказыванием?

Слайд 8

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

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

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

Посылки – только истинные суждения.

содержание

Слайд 9

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

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

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

содержание

Слайд 10

Заполните таблицу в тетради по ходу изложения материала

содержание

Заполните таблицу в тетради по ходу изложения материала содержание

Слайд 11

Логические операции

2.1. Логическое умножение (конъюнкция)
2.2. Логическое сложение (дизъюнкция)
2.3. Логическое отрицание (инверсия)
2.4. Логическое

Логические операции 2.1. Логическое умножение (конъюнкция) 2.2. Логическое сложение (дизъюнкция) 2.3. Логическое
следование (импликация)
2.5. Логическое равенство (эквивалентность)

содержание

Слайд 12

2.1. Логическое умножение (конъюнкция)

Объединение двух (или нескольких) высказываний в одно с помощью

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

Соответствует союзу И
Обозначение &, ^
В языках программирования and;

Таблица истинности

Логические
операции

Слайд 13

2.2. Логическое сложение (дизъюнкция)

Объединение двух (или нескольких) высказываний в одно с помощью союза

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

Соответствует союзу ИЛИ
Обозначение V
В языках программирования or

Таблица истинности

Логические
операции

Слайд 14

2.3. Логическое отрицание (инверсия)

Присоединение частицы «не» к высказыванию.
Инверсия делает истинное высказывание ложным и,

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

Соответствует союзу НЕ
Обозначение Ā, ¬А
В языках программирования not

Таблица истинности

Логические
операции

Слайд 15

2.4. Логическое следование (импликация)

Соответствует обороту Если…, то…
Обозначение А→В
В языках программирования if …

2.4. Логическое следование (импликация) Соответствует обороту Если…, то… Обозначение А→В В языках
then …

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

Таблица истинности

Логические
операции

Слайд 16

2.5. Логическое равенство (эквивалентность)

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

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

Таблица истинности

Соответствует обороту тогда и только тогда, когда …
Обозначение А≡В, А~B

Логические
операции

Слайд 17

3. Логические выражения и таблицы истинности

Логическое выражение – формула, в которую

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

Пример:

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

Порядок выполнения логических операций:
Действия в скобках.
Инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность.

содержание

Слайд 18

Найдите значения логических выражений

Найдите значения логических выражений

Слайд 19

4. Построение таблицы истинности

Определить количество строк в таблице по формуле 2n, где

4. Построение таблицы истинности Определить количество строк в таблице по формуле 2n,
n – количество логических переменных.
Определить количество столбцов таблицы: количество логических переменных + количество логических операций.
Построить таблицу истинности, обозначить столбцы, внести всевозможные наборы исходных данных логических переменных.
Заполнить таблицу истинности, выполняя базовые логические операции в необходимой последовательности.

содержание

Слайд 20

Построение таблицы истинности для

Количество строк таблицы 22 = 4, т.к. в

Построение таблицы истинности для Количество строк таблицы 22 = 4, т.к. в
формуле две переменные A и B.
Количество столбцов: 2 переменные + 5 логических операций = 7.

содержание

Слайд 21

Равносильные логические выражения

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

Равносильные логические выражения Равносильные логические выражения - это выражения, у которых последние
таблиц истинности совпадают, обозначают “=“.
Докажите равносильность выражений:

Таблица истинности для

Таблица истинности для

содержание

Слайд 22

5. Домашнее задание

Даны высказывания:
A = «р делится на 5»
В = «р

5. Домашнее задание Даны высказывания: A = «р делится на 5» В
– нечетное число»
Найти множество значений р, при которых результат
а) дизъюнкции,
б) конъюнкции
будет:
истинным;
ложным.

содержание

Слайд 23

Домашнее задание

2. Составьте и запишите истинные сложные высказывания из простых с использованием

Домашнее задание 2. Составьте и запишите истинные сложные высказывания из простых с
логических операций:
Неверно, что 10>Y>5 и Z<0.
Любое из чисел X, Y,Z положительно.
3. Составьте таблицу истинности для логического выражения:
F = (X & ¬Y) v Z

содержание

Слайд 24

Проверь себя

Задание 1
Задание 2
Задание 3
Задание 4
Задание 5

содержание

Проверь себя Задание 1 Задание 2 Задание 3 Задание 4 Задание 5 содержание

Слайд 25

Задание 1 Расставь соответствующие числа

Логика
Высказывание
Алгебра логики
Логическая константа
Дизъюнкция
Инверсия
Конъюнкция
Импликация
Эквивалентность

А → В
Логическое сложение
Наука о формах и

Задание 1 Расставь соответствующие числа Логика Высказывание Алгебра логики Логическая константа Дизъюнкция
способах мышления
Логическое отрицание
ИСТИНА и ЛОЖЬ
А ↔ В
&
Наука об операциях над высказываниями
Повествовательное предложение, в котором что-либо утверждается или отрицается

Правильных ответов:

Слайд 26

Даны высказывания: А = { 2 · 2 = 4 } В = {

Даны высказывания: А = { 2 · 2 = 4 } В
2 + 2 = 5 } Определите истинность высказываний:

Задание 2

А
¬В
A & B
B
¬A
A v B

Правильных ответов:

Слайд 27

Задание 3

Заполните таблицу истинности для выражения: XvY&¬Z

Задание 3 Заполните таблицу истинности для выражения: XvY&¬Z

Слайд 28

Задание 4

Заполните пустые ячейки таблицы истинности

Задание 4 Заполните пустые ячейки таблицы истинности
Имя файла: AvB.pptx
Количество просмотров: 178
Количество скачиваний: 0