Математическая логика в школьном курсе математики

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

Математическая логика в школьном курсе математики , слайд №2

Математическая логика в школьном курсе математики , слайд №3

Математическая логика в школьном курсе математики , слайд №4

Математическая логика в школьном курсе математики , слайд №5

Математическая логика в школьном курсе математики , слайд №6

Математическая логика в школьном курсе математики , слайд №7

Математическая логика в школьном курсе математики , слайд №8

Математическая логика в школьном курсе математики , слайд №9

Математическая логика в школьном курсе математики , слайд №10

Математическая логика в школьном курсе математики , слайд №11

Математическая логика в школьном курсе математики , слайд №12

Математическая логика в школьном курсе математики , слайд №13

Математическая логика в школьном курсе математики , слайд №14

Математическая логика в школьном курсе математики , слайд №15

Математическая логика в школьном курсе математики , слайд №16

Математическая логика в школьном курсе математики , слайд №17

Математическая логика в школьном курсе математики , слайд №18

Математическая логика в школьном курсе математики , слайд №19

Математическая логика в школьном курсе математики , слайд №20

Математическая логика в школьном курсе математики , слайд №21

Математическая логика в школьном курсе математики , слайд №22

Математическая логика в школьном курсе математики , слайд №23

Математическая логика в школьном курсе математики , слайд №24

Математическая логика в школьном курсе математики , слайд №25

Математическая логика в школьном курсе математики , слайд №26

Математическая логика в школьном курсе математики , слайд №27

Математическая логика в школьном курсе математики , слайд №28

Содержание ▲

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

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

Слайд 1

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

Математическая логика в школьном курсе математики

Слайд 2

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

Правила пользования презентацией

Слайд 3

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

Содержание Предисловие Что такое логика? - История изучения - Высказывания Алгебра логики - Действия над высказываниями - Приоритет выполнения операций - Законы алгебры логики Примеры решения задач Предикаты Заключение

Слайд 4

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

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

Слайд 5

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

Предмет логики Логика (др.-греч. «λογική» — «искусство рассуждения») — наука, изучающая законы и формы мышления.

Слайд 6

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

История

Слайд 7

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

Высказывания

Слайд 8

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

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

Слайд 9

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

Приоритет выполнения операций

Слайд 10

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

Законы математической логики Коммутативность

Слайд 11

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

Законы алгебры логики 1. А = А 2. А ν А = А 3. А ∧ А = А 4. А ν А = I 5. A ν (A ν A) = I

Слайд 12

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

Отрицание

Слайд 13

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

Дизъюнкция

Слайд 14

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

импликация

Слайд 15

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

конъюнкция

Слайд 16

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

эквиваленция

Слайд 17

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

Строгая дизъюнкция

Слайд 18

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

Слайд 19

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

Разгадали? Давайте проверим Пусть А≡{Капитан присутствует на судне}, В≡{С судна выгружают груз}, С≡{Рулевой присутствует на судне}, тогда (В → А) и (B→ (A→C)) – истинные высказывания. Конъюнкция истинных высказываний истинна, т.е. (B→A)∧(B→ (A→C))=(BvA)(B→(AvС))= (BvA)(Bv (AvС))= BvA(AvС)= BvLvAC= BvAC= B→AC. Проанализировав полученное, выяснили, что рулевой присутствует на судне, если с судна не выгружают груз. Ответ: рулевой присутствует на судне, если с судна не выгружают груз.

Слайд 20

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

Предикаты

Слайд 21

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

Слайд 22

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

Для предикатов характерны те же действия, что и для высказываний, а именно: Для предикатов характерны те же действия, что и для высказываний, а именно: Конъюнкция Дизъюнкция Импликация Эквиваленция и др.

Слайд 23

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

Кванторы Одним из способов получения высказываний из предикатов является навешивание кванторов. Для этого перед предикатом пишут кванторы – слова, описывающие его множество истинности.

Слайд 24

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

квантор существования « ∃» Квантор существования — это символ, обозначающий единственное существование и читается как «существует» или «для некоторого».