Соломенина Вера Сергеевна, лицей 102 г. Челябинск Отрицание суждений.

Презентация:



Advertisements
Похожие презентации
Соломенина Вера Сергеевна, лицей 102 г. Челябинск Тема: Логика П.1. Логика как наука.
Advertisements

Логика предикатов. Предикат – это предложение, содержащее переменную. Например: А=(число делится на 7). При некоторых значениях переменной оно будет истинно.
Соломенина Вера Сергеевна, лицей 102 г. Челябинск Создатель математической логики Мой мозг так устроен, что любые акты или идеи, о которых я узнавал, запечатлевались.
Логические операции 8 класс. Логическое умножение (конъюнкция) Мы поедем на озеро, если поедут наши друзья И будет хорошая погода. Высказывание АВысказывание.
Алгебра логики. Основные понятия Логика Логика - наука о правильном мышлении, или о правилах, которым подчиняется процесс рассуждения. Предметом логики.
Множества. Операции над множествами.. 1. Пересечением двух множеств А и В называется множество А В, которое состоит из всех элементов, лежащих.
Логическая информация и основы логики Цель: Познакомиться с основными понятиями логики.
логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда.
На тему : « Законы де Моргана » Ученицы 10-1 класса Соколовой Ксении.
Алгебра высказываний. Алгебра и логика Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами: А = {Аристотель - основоположник.
Кулешова Ольга Владимировна ГБОУ СОШ /2013.
1. Закон тождества. Всякое высказывание тождественно самому себе: 2. Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным.
Описание логических рассуждений. Что такое? Множество… Элементы множества… Как изображают множества… Виды множеств… Подмножество…
Логические операции. Логическое отрицание (инверсия) Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы "не" к сказуемому.
Теория множеств Круги Эйлера. Круги́ Э́йлера геометрическая схема, при помощи которой можно изобразить несколько подмножеств вместе c их объединениями,
Пересечение и объединение множеств Подготовила: учитель математики МОУ сош 30 имени А.И.Колдунова Кутоманова Е.М учебный год.
Тема: Логические законы и правила преобразования логических выражений.
Кафедра математики и моделирования Старшие преподаватели Е.Д. Емцева и Е.Г. Гусев Курс «Высшая математика» Лекция 5. Тема: Вычисление множеств. Выражение.
Суждение Суждение (высказывание, утверждение) – форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях.
Законы логики Законы логики Законы логики Законы логики Упрощение сложных высказываний Упрощение сложных высказываний.
Транксрипт:

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Отрицание суждений

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Построить отрицание: Все лошади едят овес. Ни одно натуральное число не является простым.

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Отрицающие друг друга суждения: «Все S есть P» - «Некоторые S не есть P» «Ни одно S не есть P» - «Некоторые S есть P»

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Построить отрицание: Некоторые реки не впадают в море. Все книги имеют страницы. Ни одно простое число не делится на 2. Человеку известны все виды животных, обитающих на Земле.

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Законы де Моргана Отрицание дизъюнкции конъюнкции есть конъюнкция дизъюнкция отрицаний

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Построить отрицание: Я знаю арабский или китайский язык. У Наташи и у Маши длинные волосы. Завтра я пойду в театр или в кино. Этот треугольник равнобедренный и прямоугольный.

Соломенина Вера Сергеевна, лицей 102 г. Челябинск Круги Эйлера Универсум – класс всех предметов, интересующих нас в рамках какой-либо задачи. Внутри универсума классы (множества) можно изобразить с помощью круговых схем (кругов Эйлера). универсум

Соломенина Вера Сергеевна, лицей 102 г. Челябинск пересечение объединение дополнение