Математическая логика - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Математическая логика. Доклад-сообщение содержит 24 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

МАТЕМАТИЧЕСКАЯ ЛОГИКА MATEMAATILINE LOOGIKA Eesmärk Õpetusega taotletakse, et õppija omandab loogika baasteadmised erialaõpinguteks

Слайд 2

Описание слайда:

Логика как наука Человек с древних времен стремился познать законы правильного мышления, т. е. логические законы Мыслить логично — значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь вскрывать логические ошибки

Слайд 3

Описание слайда:

Познание истины — одна из важнейших потребностей человека чтобы жить чтобы ориентироваться в быстро меняющейся обстановке принимать правильные решения на их основе совершать правильные действия

Слайд 4

Описание слайда:

Логика — одна из древнейших наук Логика — одна из древнейших наук Ее основателем считается величайший древнегреческий философ Аристотель, который первым: систематизировал формы и правила мышления обстоятельно исследовал категории «понятие» и «суждение» подробно разработал теорию умозаключений и доказательств описал ряд логических операций сформулировал основные законы мышления

Слайд 5

Описание слайда:

Формальная логика – наука о законах и формах мышления, изучает совокупность правил, которым подчиняется процесс познавательной деятельности

Слайд 6

Описание слайда:

Формы человеческого мышления Мышление всегда осуществляется в каких-то формах В логике выделяют следующие формы мышления: понятие суждение (высказывание) умозаключение

Слайд 7

Описание слайда:

Понятие — форма мышления, в которой отражаются отличительные существенные признаки предметов Существенными называются такие признаки, каждый из которых, взятый отдельно, необходим, а все вместе достаточны

Слайд 8

Описание слайда:

Примеры понятий: Апельсин Трапеция Ураганный ветер Студент медицинского института Признаками понятия апельсин являются: круглый, ароматный, сладкий, оранжевый, упругий Могут быть необходимы и дополнительные признаки

Слайд 9

Описание слайда:

Понятие имеет две основные логические характеристики: содержание и объём Содержание понятия — совокупность существенных признаков, отраженных в этом понятии Содержание понятия - ученик включает в себя признаки: познавать новое, иметь учителя, иметь интерес к учебе, быть исполнительным, быть обязательным, быть воспитанным

Слайд 10

Описание слайда:

Объем понятия: множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия Объем понятия ученик включает в себя всех людей, которые когда-либо учились (в частности, «чему-нибудь и как-нибудь»), учатся сейчас или будут учиться когда-нибудь

Слайд 11

Описание слайда:

Наглядная геометрическая иллюстрация объемов понятий и отношений между ними была предложена математиком, физиком и астрономом Леонардом Эйлером (1707 — 1781) и носит название кругов Эйлера

Слайд 12

Описание слайда:

Слайд 13

Описание слайда:

Суждение Суждение (высказывание, утверждение) — форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях между ними Языковым выражением суждений является повествовательное предложение Этот апельсин вкусный. Если прошел дождь, то асфальт мокрый. На Луне живут лунатики, на Марсе — марсиане.

Слайд 14

Описание слайда:

Суждение Суждения бывают простыми и сложными Наступила весна — простое суждение Наступила весна, и прилетели грачи — сложное Всякое суждение может быть либо истинным, либо ложным по своему содержанию Содержание суждения — это то, о чем в нем идет речь, его смысл

Слайд 15

Описание слайда:

Суждение Одно и то же суждение разными людьми может восприниматься как истинное или ложное в зависимости от их взглядов, жизненного опыта, особенностей национальной культуры, воспитания, образования и т. д. Например, для кого-то истинным является, что свободу, безопасность и комфорт дают глубокие знания, а для кого-то — свободу, безопасность и комфорт дают большие деньги

Слайд 16

Описание слайда:

Суждение Чтобы вести рассуждения и оценивать их правильность, необходимо прежде договориться по каждому суждению. Будем ли мы его рассматривать как истинное или ложное в данном конкретном случае. Например, суждение Он — хороший шахматист может быть как истинным, так и ложным, в зависимости от того, кто имеется в виду под местоимением «он». Заметим, что «договориться» мы можем только по отношению к простым суждениям. Значение же истинности сложных суждении вычисляется. Интерес представляет то, чем суждения отличаются друг от друга, что характеризует каждое из них и неизменно для каждого из них, а именно их форма

Слайд 17

Описание слайда:

Логическая форма суждения — это его строение, способ связи его составных частей Форма суждения, в отличие от его содержания, объективна, т. е. не зависит от тех или иных взглядов того или иного человека Определим логическую форму следующих суждений: Все лошади едят овес Все реки впадают в море Все книги имеют страницы Все планеты вращаются вокруг звезд Во всех этих суждениях говорится о разном (у них различное содержание), но они имеют одинаковую логическую форму: Все S есть Р

Слайд 18

Описание слайда:

Суждение Суждения: Все медузы не имеют головы Люди не боги имеют другую логическую форму: Все S не есть Р

Слайд 19

Описание слайда:

Умозаключение Умозаключение — форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение (вывод умозаключения) В русском языке слово «умозаключение» используется в двух значениях: для обозначения процесса рассуждения, размышления, приводящего к некоторому выводу, и для обозначения результата этого процесса

Слайд 20

Описание слайда:

Еще в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения: Еще в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения: Все люди смертны Сократ — человек Сократ смертен Заметим, что посылками умозаключения по правилам логики могут быть только истинные суждения

Слайд 21

Описание слайда:

Умозаключение Всякое умозаключение, так же как и суждение, имеет свою форму. Эта форма может быть логически правильной или логически неправильной. Так, в примере с Сократом форма умозаключения логически верная: Все S есть Р Некоторые А есть S Некоторые А есть Р

Слайд 22

Описание слайда:

Развитие логики Постижение науки логики дает нам возможность узнать законы, правила и приемы мышления, которые помогают анализировать правильность рассуждений, оценивать истинность полученных заключений Логика изучает формы мышления с точки зрения их структуры, законы и правила получения выводов

Слайд 23

Описание слайда:

В конце XIX в. английский ученый Джордж Венн усовершенствовал круги Эйлера, добавив к изображению объема рассматриваемого понятия X изображение объема логически противоположного ему понятия НЕ Х(¬Х) Объем понятия ¬X является дополнением к объему понятия X

Слайд 24

Описание слайда:

ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ Алгебра логики (алгебра высказываний) — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно оно или ложно Обозначать высказывания будем прописными буквами. Если высказывание А истинное, то будем писать «А = 1» и говорить «А истинно». Если высказывание А ложное, то будем писать «А = 0» и говорить «Ложно»

Теги Математическая логика

Похожие презентации