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

Содержание

Слайд 2

Цели урока: Познакомиться 1. с формами мышления. 2. С алгеброй высказываний

Цели урока:

Познакомиться
1. с формами мышления.
2. С алгеброй высказываний
Конъюнкция
Дизъюнкция
Инверсия
3. С

таблицами истинности логических выражений
Слайд 3

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

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

Слайд 4

Как математика оперирует числами, письменность буквами – логика оперирует высказываниями. Высказывание

Как математика оперирует числами, письменность буквами – логика оперирует высказываниями.
Высказывание –

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

? Например:
X = Летом у школьников каникулы; Х=1 (высказывание истинно) Y = Яблоки растут на березе; Y=0 (высказывание ложно)
F= «Ура, пришла весна! » – не высказывание т.к. не является
повествовательным предложением

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

Слайд 5

?Сложное высказывание получается из простых при помощи логических связок («И», «ИЛИ»,

?Сложное высказывание получается из простых при помощи логических связок («И»,

«ИЛИ», «НЕ»).

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

Слайд 6

Алгебра высказываний В алгебре высказываний высказывания могут принимать лишь два значения

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

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

и «ложь»(0)

Базовые логические операции

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

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

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

Слайд 7

ИНВЕРСИЯ Пример: А - Дождя не будет Ā - Неверно, что

ИНВЕРСИЯ
Пример:
А - Дождя не будет
Ā - Неверно, что дождя не будет

Таблица

истинности

Соответствует частице НЕ,
обозначается чертой над именем переменной Ā ,
иначе называется ОТРИЦАНИЕ
Инверсия логической переменной истинна, если сама переменная ложна, и , наоборот, инверсия ложна, если переменная истинна.

?

?

?

Слайд 8

КОНЪЮНКЦИЯ Пример: А - Дождя не будет. В - Небо голубое.

КОНЪЮНКЦИЯ

Пример:
А - Дождя не будет.
В - Небо голубое.
А&В - Дождя не

будет и небо голубое.

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

Соответствует союзу И,
обозначается знаками ^, &, *
иначе называется ЛОГИЧЕСКОЕ УМНОЖЕНИЕ.
Конъюнкция двух логических переменных истинна
тогда и только тогда, когда оба высказывания
истинны.

?

?

?

Слайд 9

ДИЗЪЮНКЦИЯ Пример: А - Дождя не будет. В - Небо голубое.

ДИЗЪЮНКЦИЯ

Пример:
А - Дождя не будет.
В - Небо голубое.
А + В -

Дождя не будет или небо голубое.

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

Соответствует союзу ИЛИ,
обозначается знаком V, +
иначе называется ЛОГИЧЕСКОЕ СЛОЖЕНИЕ.
Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.

А В А+В
0 0 0
0 1 1
1 0 1
1 1 1

?

?

?

Слайд 10

?Значения логической функции для разных сочетаний значений входных переменных ( наборов

?Значения логической функции для
разных сочетаний значений
входных переменных
(

наборов входных переменных)
задаются таблицей истинности.
Количество наборов входных переменных Q определяется
по формуле: Q = 2n ,
где n - количество входных переменных
Слайд 11

Логические переменные Знаки логических операций логическое выражение (Формула) Количество строк кол-во

Логические переменные

Знаки логических операций

логическое выражение (Формула)

Количество строк кол-во переменных + кол-во операций

= кол-во столбцов
Слайд 12

Приоритет логических операций: Инверсия, Конъюнкция, Дизъюнкция.

Приоритет логических операций:
Инверсия,
Конъюнкция, Дизъюнкция.

Слайд 13

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 14

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 15

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 16

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 17

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 18

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 19

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 20

(А или В) и (не А или не В)

(А или В) и (не А или не В)

Слайд 21

Самое главное:

Самое главное:

Слайд 22

Таблица истинности функции логического отрицания логическое отрицание (инверсия)

Таблица истинности функции логического отрицания

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

Слайд 23

Таблица истинности функции логического умножения логическое умножение (конъюнкция)

Таблица истинности функции логического умножения

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

Слайд 24

Таблица истинности функции логического сложения логическое сложение (дизъюнкция)

Таблица истинности функции логического сложения

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

Слайд 25

Домашнее задание Выписать и выучить определение понятие, высказывание, умозаключение, конъюнкция, дизъюнкция,

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

Выписать и выучить определение понятие, высказывание, умозаключение, конъюнкция, дизъюнкция, инверсия.
Выучить

таблицы истинности основных логических операций

§1.3, п.1.3.1-1.3.3