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

Цель презентации:

познакомиться с основами логики.

Задачи презентации:

дать определение терминам “логика”,
основных форм

Содержание

1. Историческая справка.

3. Формы мышления (понятие, высказывание, умозаключение). Слайды 6

Историческая справка

(1815 -1864)

Английский математик Джордж Буль
разработал основы алгебры, в которой используются

Алгебра логики – это математический
аппарат, с помощью которого
записывают (кодируют), упрощают,
вычисляют и

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

1. Понятие.
2. Высказывание.
3. Умозаключение.

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

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

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

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

Логическое умножение
(конъюнкция,
операция “и”).
sign: Λ
Истинно тогда

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

Логическое сложение
(дизъюнкция,
операция “или”).
sign: v
Истинно тогда

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

Логическое отрицание
(инверсия,
операция “не”).
sign:
Инверсия делает
истинное высказывание
ложным

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

Логическое следование
(импликация,
если…, то…)
sign: →
Составное высказывание,
образованное с
помощью

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

Логическое равенство
(эквивалентность,
“… тогда и только тогда,
когда…”); sign: ↔
Составное высказывание,
образованное

Логические законы

1. Закон тождества:

2. Закон противоречия:

3. Закон исключения третьего:

Логические законы

6. Закон коммутативности:

7. Закон ассоциативности:

8. Закон дистрибутивности:

Логические законы

9. Закон идемпотентности:

10. Законы исключения констант:

11. Закон поглощения: