Скачать
презентацию
<<  Пределы расширения Границы математики  >>
Теорема Кантора

Теорема Кантора. Неравномощность множества и множества всех его подмножеств Д. Пусть f – функция, отображающая множество A на множество всех его подмножеств. Будем писать f (x) = y вместо < x; y > ? f . Формула Ф(x) : ?y (f (x) = y ? ? (x?y)). Аксиома выделения дает B ? A: ?x (x ? B ? (x ? A ? ?y (f (x) = y ? ? (x?y)))). По предположению f (b) = B для некоторого b ? A. b ? B ? (b ? A ? ?y (f (b) = y ? ? (b?y))). Для этих b, B левая часть эквивалентности истинна, а правая – нет (y должно совпадать с B…). Противоречие. 7. 01.11.2014.

Картинка 8 из презентации «Введение в логику» к урокам алгебры на тему «Логика»

Размеры: 960 х 720 пикселей, формат: jpg. Чтобы бесплатно скачать картинку для урока алгебры, щёлкните по изображению правой кнопкой мышки и нажмите «Сохранить изображение как...». Для показа картинок на уроке Вы также можете бесплатно скачать презентацию «Введение в логику.ppt» целиком со всеми картинками в zip-архиве. Размер архива - 573 КБ.

Скачать презентацию

Логика

краткое содержание других презентаций о логике

«Задачи на логику» - Семенов был в доме отдыха вместе со Щедриным и сыном синоптика. На столе 3 совершенно одинаковых ящичка. В авиационном подразделении служат Потапов, Щедрин, Семенов. Логические переменные. Сосуд финикийский и изготовлен в Vв. Нужно вынуть шарик из ящика. Кто из мальчиков какое место занял. Иванов-слесарь.

«Методы решения логических задач» - Простые высказывания. Составим таблицу. Сначала приговор, потом доказательство. Графический способ. Задача. Работа в группах. Методы решения логических задач. Составим таблицу истинности. Самостоятельная работа. Записать условие на языке алгебры логики. В математике нет символов для неясных мыслей. Формальный способ решения.

«Мышление и логика» - Ответ: истинными высказываниями являются: 1, 3, 5, 6. Делайте утреннюю зарядку! Содержание понятия составляет совокупность существенных признаков объекта. Задание 2:определить результат логического выражения при заданных параметрах. Упражнение. При построении таких абстрактных моделей мы познаем реальный, объективный мир.

«Примеры решения логических задач» - Машина. Вадим не изучает китайский. Розы. Иностранные языки. Задание для закрепления. Жигули. Маргарита вырастила розы. Бог Дипломатии. Кто стоит рядом с тобой. Юноша. Девочка, вырастившая маргаритки. Средствами алгебры логики. Цифра номера машины. Вадим изучает китайский. Решение логических задач. С помощью рассуждений.

«Решение логических задач» - Решение логических задач с помощью рассуждений. Обозначения. Решение задач табличным способом. Логическая формула. Задача «Новогодний подарок». Празднование Нового года. Как решать логические задачи. Задача «Новогодние костюмы». Задача «История Нового года». Решение задач средствами алгебры логики. Евгений.

«Логика как наука» - Логика. Логическое сложение (дизъюнкция). Логическое отрицание (инверсия). Формы мышления. Логическое равенство (эквивалентность). Логика – наука о выводе одних умозаключений из других. Логическое следование (импликация). Огастес де Морган. Языковым выражением суждений является повествовательное предложение.

Всего в теме «Логика» 15 презентаций
Урок

Алгебра

34 темы
Картинка 8: Теорема Кантора | Презентация: Введение в логику | Тема: Логика | Урок: Алгебра