- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по теме Алгебра логики
Содержание
- 1. Презентация по теме Алгебра логики
- 2. Этапы развития логики1-й этап связан с работами
- 3. 2-й этап – появление математической, или символической,
- 4. Но он выдвинул только идею,
- 5. Логика – эта наука о формах и способах мышления
- 6. Формы мышления. Понятие – это форма мышления,
- 7. Суждение (высказывание, утверждение) – это форма мышления,
- 8. Умозаключение – это форма мышления, с помощью
- 9. Алгебра высказываний Алгебра логики (алгебра высказываний) –
- 10. Пример 1 Например, содержание понятия персональный компьютер-это
- 11. Пример 21. Истинное и простое высказывание: Буква
- 12. Пример 3Все металлы – простые вещества.Литий –
- 13. Пример 4А= “Листва на деревьях опадает осенью”. А=1 В= “Земля прямоугольная”. В=0
Этапы развития логики1-й этап связан с работами ученого и философа Аристотеля (384-322 г.г. до н.э.). Он пытался найти ответ на вопрос “Как мы рассуждаем”, изучал правила мышления. Аристотель впервые дал систематическое изложение логики. Он подверг анализу
Слайд 2Этапы развития логики
1-й этап связан с работами ученого и философа Аристотеля
(384-322 г.г. до н.э.). Он пытался найти ответ на вопрос “Как мы рассуждаем”, изучал правила мышления. Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение. Так возникла формальная логика.
Слайд 32-й этап – появление математической, или символической, логики. Основы ее заложил
немецкий ученый и философ Г.В. Лейбниц (1646-1716). Он сделал попытку построить первые логические исчисления, считал, что можно заменит простые рассуждения действиями со знаками, и привел соответствующие правила.
Слайд 4 Но он выдвинул только идею, а развил её окончательно
англичанин Д. Буль (1815-1864).
Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику.
Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику.
Слайд 6Формы мышления.
Понятие – это форма мышления, фиксирующая основные, существенные признаки
объекта.
Содержание понятия – совокупность существенных признаков, отраженных в этом понятии.
Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий.
Пример
Содержание понятия – совокупность существенных признаков, отраженных в этом понятии.
Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий.
Пример
Слайд 7Суждение (высказывание, утверждение) – это форма мышления, в которой что-либо утверждается
или отрицается о свойствах реальных предметов и отношениях между ними.
Высказывание может быть либо истинным, либо ложным, и может быть либо простым, либо составным (сложным).
Пример
Высказывание может быть либо истинным, либо ложным, и может быть либо простым, либо составным (сложным).
Пример
Слайд 8Умозаключение – это форма мышления, с помощью которой из одного или
нескольких суждений может быть получено новое суждение.
Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение проводится в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.
Пример
Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение проводится в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.
Пример
Слайд 9Алгебра высказываний
Алгебра логики (алгебра высказываний) – раздел математической логики, изучающий
строение (форму, структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.
В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: “истинна” (1) и “ложь” (0).
Пример
В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: “истинна” (1) и “ложь” (0).
Пример
Слайд 10Пример 1
Например, содержание понятия персональный компьютер-это универсальное электронное устройство для
автоматической обработки информации, предназначенное для одного пользователя.
Объем понятия персональный компьютер – совокупность существующих в мире персональных компьютеров.
Объем понятия персональный компьютер – совокупность существующих в мире персональных компьютеров.
Слайд 11Пример 2
1. Истинное и простое высказывание: Буква “т” - согласная.
2.
Ложное и сложное высказывание: Осень наступила, и грачи прилетели.
Слайд 12Пример 3
Все металлы – простые вещества.
Литий – металл.
Литий – простое
вещество.
2. Все школьники – отличники.
Вовочка – школьник.
Вовочка – отличник.
2. Все школьники – отличники.
Вовочка – школьник.
Вовочка – отличник.
