Загрузил Наталья Гильзер

логика урок 1

реклама
Логика как наука
Законы правильного мышления
1
Логика – наука о
законах и формах
мышления
2
Мыслить логично – т.е.
• Точно и последовательно
• Не допускать противоречий
• Уметь вскрывать логические
ошибки
3
Основатель логики
Философ Аристотель
• Систематизировал формы и правила
мышления.
• Исследовал категории «понятие» и
«суждение».
• Разработал теорию умозаключений и
доказательств.
• Сформулировал основные законы
мышления.
4
Логика – является наукой о способах доказательств и
опровержений.
Начало исследований в области логики
было положено Аристотелем в 4 в. до н.э.
Однако математические подходы к этим
вопросам впервые были указаны
Джорджем Булем.В честь него алгебру
высказываний называют “булевой алгеброй”.
5
Формы мышления
понятие
суждение
Умозаключение
Существенные
признаки
предметов
Высказывания,
утверждения
вывод
6
Алгебра логики
• Это алгебра высказываний –
раздел математической логики,
изучающий строение (формулы,
структуру) сложных логических
высказываний и способы
установления их истинности с
помощью алгебраических методов.
7
Высказывание
- Повествовательное предложение, о
котором можно сказать истинно оно или
ложно.
Например,
Все ученики – отличники. – ВЛ
Некоторые ученики – отличники. – ВИ
Петя – отличник! – не В
8
Высказывания
общие
частные
Единичные
Все, каждый,
всякий…
Некоторые,
многие,…
Оригинальные,
неповторимые
9
Термины
Логические величины – это понятия
выражаемые словами И или Л.
Логическая переменная – это
символически выраженная логическая
величина.
Логическое выражение – это простое
или сложное высказывание, о котором
можно сказать И оно или Л.
10
Высказывания
простые
составные
Содержат одну мысль
Содержат два и более
простых высказываний,
объединенных союзами
11
Логические
функции
12
Инверсия (отрицание)
не А;
неверно, что А
А,
А, А
А
не А
0
1
1
0
Например,
А – На улице тепло.
не А – Неверно, что на улице тепло.
13
Конъюнкция
•
•
•
•
•
Логическое
умножение.
F(A,B)=А и В
F(A,B)=А * В
F(A,B)=А & В
F(A,B)=А В
F(A,B)=А and В
А
В
F
0
0
0
0
1
0
1
0
0
1
1
1
Например,
А – У меня есть деньги на покупку машины.
14
В – У меня есть желание на покупку машины.
Дизъюнкция
Логическое сложение.
• F(A,B)=А или В
• F(A,B)=А + В
• F(A,B)=А В
• F(A,B)=А or В
• F(A,B)=А | В
А
В
F
0
0
0
0
1
1
1
0
1
1
1
1
Например,
А – Я пойду на дискотеку в школу.
В – Я пойду на дискотеку в Огни Уфы.
15
Импликация
Логическое следование.
• если А, то В
• А влечет В
• В следует из А
• F(A,B)=А В
• F(A,B)=А В
А
В
F
0
0
1
0
1
1
1
0
0
1
1
1
A – «Работник хорошо работает».
B – «У работника хорошая зарплата».
16
Эквивалентность
•
•
•
•
Логическое равенство,
Тождественность.
А тогда и только тогда,
когда В
F(A,B)=А В
F(A,B)=А В
F(A,B)=А  В
А
В
F
0
0
1
0
1
0
1
0
0
1
1
1
17
Приоритет действий
1.
2.
3.
4.
5.
6.
Скобки
Отрицание
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность
( )
   
18
Скачать