Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Основы алгебры логики

Требования к выполнению самостоятельной работы | Понятие множества | Определение 3 (декартово произведение) | Примеры решения задач на множества | Графы и деревья | Логическое тождество (эквивалентность). | Решение | Решение | Решение | Решение |


Читайте также:
  1. II. Установление юридической основы дела — выбор и анализ юридических норм (юридическая квалификация фактических об­стоятельств).
  2. А. Основы воспитания
  3. АНАТОМО-ФИЗИОЛОГИЧЕСКИЕ ОСНОВЫ ПСИХИКИ
  4. Арифметические основы ЭВМ
  5. Вопрос 1. Власть, ее основы и лидерство
  6. Глава 1. Теоретические основы ведения ярмарок и выставок.
  7. Гнатологические основы моделирования окклюзионной поверхности

Основы работы с такими функциями были заложены английским математиком 19 века Джорджем Булем. В честь него функции, аргументы и значения которых определены на множестве {0,1}, называются булевыми функциями. Другое название этих функций – логические функции. Их изучает соответствующая математическая дисциплина, называемая алгеброй логики (булевой алгеброй, алгеброй высказываний).

Алгебра логики – это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности и ложности) и логических операций над ними.

Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

Для обозначения истины (истинного высказывания) используется символ 1, а для обозначения лжи (ложного высказывания) используется символ 0.

Рассмотрим примеры логических высказываний (см. таблицу 1):

Таблица 1. Примеры логических выражений

Предложение Характеристика с точки зрения алгебры логики
Астана – столица Казахстана Истинное логическое высказывание
За зимой наступит весна Истинное логическое высказывание
В городе Иваново проживают только граждане России Ложное логическое высказывание
После дождя всегда тепло Ложное логическое высказывание
После вторника будет выходной Не является логическим высказыванием, т.к. не известно, о каком человеке, каком месяце и дне идет речь (если у человека текущий график работы, возможно, что у него в среду будет выходной, в противном случае среда – рабочий день; если в среду будет праздничный день, например, 8 марта, то этот день также будет выходным)

 

Употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…то», «тогда и только тогда» и др. позволяют из уже заданных высказываний строить более сложные высказывания. Такие слова и словосочетания называют логическими связками. Высказывания, образованные с помощью логических связок – называют составными высказываниями. Высказывания, не являющиеся составными, называют элементарными.

Для обозначения логических высказываний, им назначают имена. Например, если А – высказывание «В четверг был дождь», В – высказывание «В пятницу было солнечно», то составное высказывание «В четверг был дождь, а в пятницу было солнечно», можно записать в виде:

А и В.

Здесь А, В – логические высказывания (могут быть либо истинными, либо ложными), и – логическая связка.

Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение (таблица 2).

 

Таблица 2. Логические связки

Логичес-кая связка Название Обозна-чение Высказывание Математическая запись
  не инверсия, логическое отрицание , , Not не А А, , Not A
  и конъюнкция логическое умножение Ù, & *, And A и В A Ù B, A & B A * B, A And B
  или дизъюнкция логическое сложение Ú +, Or A или В A Ú B A + B, A Or B
  Если…то импликация, логическое следование →, Þ Если A, то В A → B A Þ B
  тогда и только тогда эквивалентность, равносильность, логическое тождество «, º Û, ~ А тогда и только тогда, когда В А«В, АºВ АÛВ, А~В

 


Дата добавления: 2015-08-27; просмотров: 52 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Задания для самостоятельного решения| Логическое отрицание (инверсия)

mybiblioteka.su - 2015-2024 год. (0.005 сек.)