Презентация на тему Алгебра логики

Содержание

2. Этапы развития логики1-й этап связан с работами
3. 2-й этап – появление математической, или символической,
4. Но он выдвинул только идею,
5. Логика – эта наука о формах и способах мышления
6. Формы мышления. Понятие – это форма мышления,
7. Суждение (высказывание, утверждение) – это форма мышления,
8. Умозаключение – это форма мышления, с помощью
9. Алгебра высказываний Алгебра логики (алгебра высказываний) –
10. Пример 1 Например, содержание понятия персональный компьютер-это
11. Пример 21. Истинное и простое высказывание: Буква
12. Пример 3Все металлы – простые вещества.Литий –
13. Скачать презентацию
14. Похожие презентации

Этапы развития логики1-й этап связан с работами ученого и философа Аристотеля (384-322 г.г. до н.э.). Он пытался найти ответ на вопрос “Как мы рассуждаем”, изучал правила мышления. Аристотель впервые дал систематическое изложение логики. Он подверг анализу

2-й этап – появление математической, или символической, логики. Основы ее заложил немецкий

Но он выдвинул только идею, а развил её окончательно англичанин

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

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

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

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

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

Пример 1 Например, содержание понятия персональный компьютер-это универсальное электронное устройство для автоматической

Пример 21. Истинное и простое высказывание: Буква “т” - согласная. 2. Ложное

Пример 3Все металлы – простые вещества.Литий – металл. Литий – простое вещество.

Пример 4А= “Листва на деревьях опадает осенью”. А=1 В= “Земля прямоугольная”. В=0

Слайды презентации

Слайд 2 Этапы развития логики
1-й этап связан с работами ученого

Этапы развития логики1-й этап связан с работами ученого и философа Аристотеля

и философа Аристотеля (384-322 г.г. до н.э.). Он пытался

найти ответ на вопрос “Как мы рассуждаем”, изучал правила мышления. Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение. Так возникла формальная логика.

Слайд 3 2-й этап – появление математической, или символической, логики.

2-й этап – появление математической, или символической, логики. Основы ее заложил

Основы ее заложил немецкий ученый и философ Г.В. Лейбниц

(1646-1716). Он сделал попытку построить первые логические исчисления, считал, что можно заменит простые рассуждения действиями со знаками, и привел соответствующие правила.

Слайд 4 Но он выдвинул только идею, а

развил её окончательно англичанин Д. Буль (1815-1864).

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

Слайд 5 Логика – эта наука о формах и способах

мышления

Слайд 6 Формы мышления.
Понятие – это форма мышления, фиксирующая

основные, существенные признаки объекта.
Содержание понятия – совокупность существенных признаков,

отраженных в этом понятии.
Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий.
Пример

Слайд 7 Суждение (высказывание, утверждение) – это форма мышления, в

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

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

и отношениях между ними.
Высказывание может быть либо истинным, либо ложным, и может быть либо простым, либо составным (сложным).
Пример

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

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

из одного или нескольких суждений может быть получено новое

суждение.
Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение проводится в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.
Пример

Слайд 9 Алгебра высказываний
Алгебра логики (алгебра высказываний) – раздел

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

математической логики, изучающий строение (форму, структуру) сложных логических высказываний

и способы установления их истинности с помощью алгебраических методов.
В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: “истинна” (1) и “ложь” (0).
Пример