Презентация Основные понятия формальной логики Высказывания онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Основные понятия формальной логики Высказывания абсолютно бесплатно. Урок-презентация на эту тему содержит всего 13 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:13 слайдов
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:1.17 MB
- Просмотров:58
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: Основные понятия формальной логики
Высказывания
№2 слайд
Содержание слайда: Основные понятия логики
Логика – наука, которая показывает, как должно совершаться мышление и каким правилам подчиняться, чтобы была достигнута истина
Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны
Основными формами мышления являются:
понятия,
суждения,
умозаключения.
№3 слайд
Содержание слайда: Понятие
Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других
Например: компьютер, квадрат, ураганный ветер
№4 слайд
Содержание слайда: Суждение
Суждение – это мысль, в которой что-то утверждается или отрицается о предметах
Суждения рассматриваются только с точки зрения их истинности или ложности
«Дважды два равно четыре» – истинное суждение
«Процессор предназначен для печати» – ложное суждение
№5 слайд
Содержание слайда: Умозаключение
Умозаключение – прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить новое суждение (знание или вывод)
Пример:
Доказательство теорем в геометрии
№6 слайд
Содержание слайда:
№7 слайд
Содержание слайда: Формальная логика
Формальная логика – это наука о законах и формах мышления
Она связана с анализом обычных содержательных умозаключений, выражаемых разговорным языком
№8 слайд
Содержание слайда: Математическая логика
Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем, которые лежат в основе построения компьютера
Суждения в математической логике называют высказываниями или логическими выражениями
№9 слайд
Содержание слайда: Из истории логики
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)
Но в основе современной логики лежат учения, созданные древнегреческими мыслителями
№10 слайд
Содержание слайда: Из истории логики
Наука логика начала складываться еще в VI-V вв. до н.э.
В Древней Греции стало развиваться искусство убеждения – ораторское искусство, риторика Появились учителя риторики – софисты, которые учили не только доказывать истинные утверждения, но и искусно их опровергать
№11 слайд
Содержание слайда: Из истории логики
Великий греческий ученый Аристотель (IV в. до н.э.) впервые разработал строй-ную научную систему логики. Он заложил основы фор-мальной логики (силлогис-тики), где впервые отделил логические формы мышления от содержательных
№12 слайд
Содержание слайда: Из истории логики
Немецкий ученый и полити-ческий деятель Готфрид Лейбниц (1646-1716) первым попытался превратить логику в математическую науку, где отношения между выс-казываниями определяются в виде математических соот-ношений.
№13 слайд
Содержание слайда: Из истории логики
Английский математик и логик Джордж Буль (1815-1864) изобрел своеобраз-ную алгебру - систему обозначений и правил, применимую ко всевозмож-ным объектам, от чисел до предложений. Его именем она теперь и называется – алгебра Буля, или булева алгебра
Скачать все slide презентации Основные понятия формальной логики Высказывания одним архивом:
