Основы логики. Этапы развития логики

Июль 27, 2022

Главная
Математика
Основы логики. Этапы развития логики

Содержание

2. Логика – это наука о формах и способах мышления. В логике мышление рассма-тривается как инструмент познания
3. Этапы развития логики 1-й этап связан с работами ученого и философа Аристотеля (384-322 гг. до н.э.).
4. 2-й этап – появление математической логики. Основы ее заложил немецкий ученый и философ Готфрид Вильгельм Лейбниц.
5. Окончательно развил логику как науку англичанин Джордж Буль (1815-1864). Он является основоположником математической логики как самостоятельной
7. Понятие - это форма мышления, фиксирующая основные, существенные признаки объекта.
8. Высказывание это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях
9. Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть
10. Алгебра высказываний
11. В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1)
12. Элементарные высказывания являются кирпичиками, из которых с помощью логических операций строятся сложные высказывания. Их иногда называют
13. Конъюнкция (логическое умножение) Соответствует союзу «и» Обозначается &, ^ Конъюнкция двух высказываний истинна тогда и только
14. Дизъюнкция (логическое сложение) Соответствует союзу «или» Обозначается v, + Дизъюнкция двух высказываний ложна тогда и только
15. Инверсия (операция отрицания) Соответствует частице «не» Обозначается ¬ Инверсия делает истинное высказывание ложным и, наоборот, ложное
17. Скачать презентацию

Слайд 2

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

рассма-тривается как инструмент познания окружающего мира.

Слайд 3

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

(384-322 гг. до н.э.). Он пытался найти ответ на вопрос: «как мы рассуждаем», изучал правила мышления. Аристотель впервые дал систематическое изложение логики.

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

Слайд 4

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

и философ Готфрид Вильгельм Лейбниц. Он сделал попытку построить первые логические исчисления,

считал, что можно заменить простые рассуждения действиями со знаками, и привел соответствующие правила.

Слайд 5

Окончательно развил логику как науку англичанин Джордж Буль (1815-1864). Он является

основоположником математической логики как самостоятельной дисциплины.

В его работах логика обрела свой алфавит, свою орфографию и грамматику.
Недаром начальный раздел математической логики называют алгеброй логики, или булевой алгеброй.

Слайд 6

Слайд 7

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

Слайд 8

Высказывание
это форма мышления, в которой что-либо утверждается или отрицается о свойствах

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

Слайд 9

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

суждений (посылок) может быть получено новое суждение (заключение).

Слайд 10

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

Слайд 11

В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать

лишь два значения: «истина» (1) и «ложь» (0).
Логические переменные обозначаются буквами латинского алфавита.
Например:
А=«квадрат – это ромб»
В=«Волга впадает в Черное море»

Слайд 12

Элементарные высказывания являются кирпичиками, из которых с помощью логических операций строятся

сложные высказывания. Их иногда называют формулами логики высказываний. Наиболее часто используемые логические операции: «и», «или», «не».
Например:
1) Число 6 четно или число 8 нечетно
2) Число 6 четно и число 8 нечетно

Слайд 13

Конъюнкция (логическое умножение)
Соответствует союзу «и»
Обозначается &, ^
Конъюнкция двух высказываний истинна

тогда и только тогда, когда оба высказывания истинны.

Слайд 14

Дизъюнкция (логическое сложение)
Соответствует союзу «или»
Обозначается v, +
Дизъюнкция двух

высказываний ложна тогда и только тогда, когда оба выска-зывания ложны.

Слайд 15

Инверсия (операция отрицания)
Соответствует частице «не»
Обозначается ¬
Инверсия делает истинное высказывание ложным и, наоборот,

ложное – истинным.

Основы логики. Этапы развития логики

Содержание

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

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

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

Окончательно развил логику как науку англичанин Джордж Буль (1815-1864). Он является

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

Высказываниеэто форма мышления, в которой что-либо утверждается или отрицается о свойствах

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