Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Логические величины

Основные понятия Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин "логика" происходит от древнегреческого «logos», означающего "слово, мысль, понятие, рассуждение, закон". Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства,
Логические величины, операции, выраженияГБОУ СПО «НТСТиСО»Баландина Татьяна АлександровнаПреподаватель информатики Основные понятия Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин Логические выражения и логические операции Логическое выражение - это символическая запись, состоящая Логическое отрицание (инверсия) Нетрудно заметить, что значения истинности высказываний А и В Логическое умножение (конъюнкция) Если два высказывания соединены союзом Логическое сложение (дизъюнкция)Если два высказывания соединены союзом Логическое следование (импликация) Импликацией называется высказывание, которое ложно тогда и только Логическое тождество (эквиваленция) Эквиваленцией двух высказываний А и В называется такое высказывание, Построение таблиц истинности для логических функций Логическая функция - это функция, в Логические функции и их преобразования. Законы логики  Для операций конъюнкции, дизъюнкции Вопросы для самоконтроля Основные логические операции: конъюнкция, дизъюнкция (оба вида), отрицание, импликация,
Слайды презентации

Слайд 2 Основные понятия
Слово логика означает совокупность правил, которым подчиняется процесс мышления.

Основные понятия Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин

Сам термин "логика" происходит от древнегреческого «logos», означающего "слово,

мысль, понятие, рассуждение, закон". 
Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения и умозаключения.      Понятие - это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других. Например, компьютер, человек, ученики.      Суждения - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

Слайд 3 Логические выражения и логические операции
Логическое выражение - это

Логические выражения и логические операции Логическое выражение - это символическая запись,

символическая запись, состоящая из логических величин (констант или переменных),

объединенных логическими операциями (связками).      В булевой алгебре простым высказываниям ставятся в соответствие логические переменные, значение которых равно 1, если высказывание истинно, и 0, если высказывание ложно. Обозначаются логические переменные буквами латинского алфавита.      Существуют разные варианты обозначения истинности и ложности переменных:
Истина 1
Ложь 0

Связки "НЕ", "И", "ИЛИ" заменяются логическими операциями инверсия, конъюнкция, дизъюнкция. Это основные логические операции, при помощи которых можно записать любое логическое выражение.


Слайд 4 Логическое отрицание (инверсия)
Нетрудно заметить, что значения истинности высказываний

Логическое отрицание (инверсия) Нетрудно заметить, что значения истинности высказываний А и

А и В находятся в определенной связи: если А

истинно, то В ложно, и наоборот. Операция, с помощью которой из высказывания А получается высказывание В, называется логическим отрицанием и само высказывание В называется отрицанием высказывания А и обозначается .
Таким образом, отрицанием некоторого высказывания А называется такое высказывание, которое истинно, когда А ложно, и ложно, когда А истинно. Отрицание высказывания А обозначим . Определение отрицания может быть записано с помощью так называемой таблицы истинности:


Слайд 5 Логическое умножение (конъюнкция) 
Если два высказывания соединены союзом "И",

Логическое умножение (конъюнкция) Если два высказывания соединены союзом

то полученное сложное высказывание обычно считается истинным тогда и

только тогда, когда истинны оба составляющие его высказывания. Если хотя бы одно из составляющих высказываний ложно, то и полученное из них с помощью союза "И" сложное высказывание также считается ложным. Таким образом, конъюнкцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда истинны оба высказывания А и В.
Конъюнкцию высказываний А и В мы обозначим: A & B. Знак & - амперсант - читается как английское "and" (помните Procter & Gamble или Wash & Go?). Часто встречается обозначение А Λ В.

Слайд 6 Логическое сложение (дизъюнкция)
Если два высказывания соединены союзом "ИЛИ",

Логическое сложение (дизъюнкция)Если два высказывания соединены союзом

то полученное сложное высказывание обычно считается истинным, когда истинно,

хотя бы одно из составляющих высказываний. Дизъюнкцией называется такое новое высказывание, которое истинно тогда и только тогда, когда истинно хотя бы одно из этих высказываний.
Дизъюнкцию высказываний А и В мы обозначим символом А V В и будем читать: А или В. Определение дизъюнкции может быть записано в виде таблицы истинности:

Слайд 7 Логическое следование (импликация)
Импликацией называется высказывание, которое

Логическое следование (импликация) Импликацией называется высказывание, которое ложно тогда и

ложно тогда и только тогда, когда А истинно и

В ложно.
Запишем это определение в виде таблицы истинности:

Слайд 8 Логическое тождество (эквиваленция)
Эквиваленцией двух высказываний А и

Логическое тождество (эквиваленция) Эквиваленцией двух высказываний А и В называется такое

В называется такое высказывание, которое истинно тогда и только

тогда, когда оба эти высказывания А и В истинны или оба ложны.
Отметим, что высказывание типа "А, если и только если В" можно заменить высказыванием "Если А, то В и, если В, то А" (обдумайте это на досуге и обратите внимание на символ ). Следовательно, функцию эквиваленции можно заменить комбинацией функций импликации и конъюнкции. Запишем таблицу истинности для эквиваленции:

Слайд 9 Построение таблиц истинности для логических функций
Логическая функция -

Построение таблиц истинности для логических функций Логическая функция - это функция,

это функция, в которой переменные принимают только два значения:

логическая единица или логический ноль. Истинность или ложность сложных суждений представляет собой функцию истинности или ложности простых. Эту функцию называют булевой функцией суждений f(a, b).
Любая логическая функция может быть задана с помощью таблицы истинности, в левой части которой записывается набор аргументов, а в правой части - соответствующие значения логической функции.
При построении таблицы истинности необходимо учитывать порядок выполнения логических операций. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке:
1. инверсия;
2. конъюнкция;
3. дизъюнкция;
4. импликация и эквивалентность.
Для изменения указанного порядка выполнения логических операций используются круглые скобки.


Слайд 10 Логические функции и их преобразования. Законы логики
Для операций

Логические функции и их преобразования. Законы логики Для операций конъюнкции, дизъюнкции

конъюнкции, дизъюнкции и инверсии определены законы булевой алгебры, позволяющие

производить тождественные (равносильные) преобразования логических выражений.

Законы логики      1.     закон двойного отрицания;      2. A&B = B&A   коммутативность конъюнкции;      3. AVB = BVA   коммутативность дизъюнкции;      4. A&(B&C) = (A&B)&C   ассоциативность конъюнкции;      5. AV(BVC) = (AVB)VC   ассоциативность дизъюнкции;      6. A&(BVC) = (A&B)V(A&C) дистрибутивность конъюнкции относительно дизъюнкции;      7. AV(B&C) = (AVB)&(AVC) дистрибутивность дизъюнкции относительно конъюнкции;      8. A&A = A      9. AVA = A      10.  A Ú (A&B) = A;   A&(A Ú B) = A законы поглощения      11.  (A&B) Ú (  &B) = B;   (A Ú B)&(  Ú B) = B   законы исключения (склеивания)      12.  (A Û  B) = (BÛ  A)  закон контрапозиции (правило перевертывания)


  • Имя файла: logicheskie-velichiny.pptx
  • Количество просмотров: 185
  • Количество скачиваний: 0
- Предыдущая Варварськi