Логика Скачать
презентацию
<<  Введение в логику Мышление и логика  >>
Математическая логика
Математическая логика
Логика-это наука, изучающая формы и законы мышления
Логика-это наука, изучающая формы и законы мышления
Высказывания
Высказывания
Волга впадает в Каспийское море
Волга впадает в Каспийское море
Определение логических операций
Определение логических операций
Дизъюнкция высказываний
Дизъюнкция высказываний
Конъюнкция высказываний
Конъюнкция высказываний
Импликация высказываний
Импликация высказываний
Эквивалентность высказываний
Эквивалентность высказываний
Моделирование логической структуры правовой нормы
Моделирование логической структуры правовой нормы
Логические формулы
Логические формулы
Таблица истинности - перебор всех возможных комбинаций
Таблица истинности - перебор всех возможных комбинаций
Равносильные логические формулы
Равносильные логические формулы
Понятие тавтологии
Понятие тавтологии
Закон силлогизма
Закон силлогизма
Закон исключения третьего
Закон исключения третьего
Картинки из презентации «Математическая логика» к уроку алгебры на тему «Логика»

Автор: 100. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «Математическая логика.ppt» со всеми картинками в zip-архиве размером 146 КБ.

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

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

содержание презентации «Математическая логика.ppt»
Сл Текст Сл Текст
1Математическая логика. Единственное средство улучшить наши 9В". Обозначается А? В. «Деяние кража равносильно тайному
умозаключения состоит в том, чтобы сделать их столь же хищению чужого имущества». Эквивалентность высказываний А и В
наглядными, как и у математиков, - такими, что их ошибочность (А?В) – сложное высказывание, которое истинно, когда А и В
можно было бы увидеть глазами, и если между людьми возникают одновременно либо истинны– истинно, или ложны и ложно во всех
разногласия, достаточно было бы только сказать «Вычислим!», других случаях. А. В. А?в. 1. 1. 1. 1. 0. 0. 0. 1. 0. 0. 0. 1.
чтобы без дальнейших околичностей стало ясно, кто прав. 10Моделирование логической структуры правовой нормы.
Г.В.Лейбниц. Логическая структура правовой нормы: N= (( J?D ) ^ ( J ^ D ))? S
2Логика-это наука, изучающая формы и законы мышления, , где J- условие действия нормы права; D- правовое предписание;
закономерности мыслительного процесса. Логика высказываний- S- санкция. Структура норм уголовного права: (P?Q)?S
раздел логики, в котором вопрос об истинности или ложности P-конкретный состав преступления; Q-совокупность признаков этого
высказываний рассматривается и решается на основе изучения состава; S-санкция, установленная за совершение определённого
способа построения высказываний из элементарных с помощью преступления.
логических связок. 11Логические формулы. Таблицы истинности. A?B C ; (A?A B )?B ^
3Высказывания. Классификация высказываний. Высказыванием A и т.Д. Такие высказывания называются логическими формулами или
называется всякое утверждение (повествовательное предложение), булевыми функциями , а входящие в них простые высказывания-
про которое всегда определённо и объективно можно сказать, логическими переменными. Символы ¬ ‚ ^ , , ? , ? называют
является ли оно истинным или ложным. Высказывания: 1.Абсолютно логическими связками. ? ? ?
истинные 2. Абсолютно ложные логические константы Высказывания 12Таблица истинности - перебор всех возможных комбинаций
обозначаются заглавными латинскими буквами: А, В, С и т. д. значений простых высказываний, из которых состоит сложное, и
4А – «Волга впадает в Каспийское море». А=1. В – «3 больше указание соответствующих значений сложного высказывания.
5». В=0. Высказывания, которые нельзя разбить на еще более 13Равносильные логические формулы. Две логические формулы
мелкие, называются простыми, а сконструированные при помощи называются равносильными, если при любых значениях входящих в
логических связок – сложными. них логических переменных эти формулы принимают одинаковые
5Определение логических операций. А. А. 0. 1. 1. 0. Операция значения. Равносильность формул обозначается с помощью знака ? :
отрицания (операция “не”) Операция отрицания делает истинное A?B?(A?B)^(B?A).
высказывание ложным и ,наоборот, ложное – истинным. 14Понятие тавтологии. Законы логики. Если формула принимает
6Дизъюнкция высказываний. Соответствует «или». Обозначается значение «истина», то есть 1, при любых значениях входящих в неё
А?В. «Грабеж может быть совершен с применением физического или логических переменных, то такая логическая формула называется
психического насилия». Дизъюнкция А?В – сложное высказывание, тождественно истинная или тавтология. Факт, что высказывание А
которое ложно тогда и только тогда, когда оба высказывания А и В является тавтологией, обозначается так |=А. Сложное высказывание
одновременно ложны. А. В. A?B. 1. 1. 1. 1. 0. 1. 0. 1. 1. 0. 0. называется тождественно ложным, если оно принимает значение
0. «ложь» при любых значениях входящих в него простых высказываний.
7Конъюнкция высказываний Соответствует «и». Обозначается А? То есть, если |=А, то А -тождественно ложно.
В. «Это преступление наказывается лишением свободы и 151.Закон силлогизма |=[(A?B)^(B?C)]?(A?C). Если из
конфискацией имущества». Конъюнкция А?В – сложное высказывание, высказывания А следует В , а из высказывания В следует С, то
которое истинно тогда и только тогда, когда оба высказывания А и можно заключить, что из А следует С. 2.Modus ponens.
В одновременно истинны. А. В. A? B. 1. 1. 1. 1. 0. 0. 0. 1. 0. |=[A^(A?B)]?B. Если А – истинно и из А следует В, то В также
0. 0. 0. будет истинно. 3. Закон контрапозиции. |=(A?B)?(B?A). Следование
8Импликация высказываний. Соответствует объединению двух из высказывания А высказывания В равносильно тому, что из не В
высказываний с помощью союза «если …, то …» Обозначается следует не А.
А?В.«Если банк отказывает в принятии документов ..., то он 164.Закон исключения третьего. |=A A. Для любого высказывания
обязан незамедлительно проинформировать об этом получателя А или само высказывание А истинно, или его отрицание. 5.Закон
средств». Импликация высказываний А и В (А?В) – сложное противоречия. |=А^A. Для любого высказывания А неверно, что
высказывание, которое истинно всегда, кроме случая когда А – одновременно истинны и само А, и его отрицание (не А). 6.Закон
истинно, а В – ложно. А. В. A ? B. 1. 1. 1. 1. 0. 0. 0. 1. 1. 0. двойного отрицания. |=А ? A. Отрицание от отрицания равносильно
0. 1. самому высказыванию. ?
9Эквивалентность высказываний. Читается: "А эквивалентно
«Математическая логика» | Математическая логика.ppt
http://900igr.net/kartinki/algebra/Matematicheskaja-logika/Matematicheskaja-logika.html
cсылка на страницу

Логика

другие презентации о логике

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

«Мышление и логика» - Знаки операции инверсии: НЕ; ¬ ;not;?. Истинность высказываний. Основы логики. Имеет две стороны: содержание и объем. Кто отсутствует? Теорема Пифагора. Ответ: истинными высказываниями являются: 1, 2. Таблица истинности операции дизъюнкции. Прослушайте сообщение! Примеры: Объединенная таблица истинности.

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

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

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

«Основы логики» - Шифраторы и дешифраторы. Импликация (логическое следование). Решение логических задач. Формы мышления. Правило дистрибутивности. Базовые логические операции. Логические элементы. Вадим, Сергей и Михаил изучают различные иностранные языки. Законы идемпотентности. Регистры. Таблица истинности. Равносильные логические выражения.

Урок

Алгебра

34 темы
Картинки
Презентация: Математическая логика | Тема: Логика | Урок: Алгебра | Вид: Картинки
900igr.net > Презентации по алгебре > Логика > Математическая логика.ppt