Логика Скачать
презентацию
<<  Введение в логику Мышление и логика  >>
Фотографий нет
Фото из презентации «Математическая логика» к уроку алгебры на тему «Логика»

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

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

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

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

Алгебра

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