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

Логические формулы.

Основные свойства теоретико-множественных операций. | Доказательство тождеств в алгебре множеств. | Разбиение. | Кортеж (вектор). | Декартово (прямое) произведение. | Отображение. | График. | Соответствие. | Отношение. | Высказывания. |


Читайте также:
  1. I. Анатомо-физиологические особенности детей преддошкольного возраста
  2. I. Психологические идеи
  3. II. Космологические идеи
  4. II. — Хронологические рамки
  5. IV. 1. Микробиологические факторы
  6. А. Неврологические нарушения
  7. А. ПСИХОЛОГИЧЕСКИЕ ИЗДЕВАТЕЛЬСТВА

Df1. 1) Отдельно взятые логические переменные или есть логические формулы.

2) - логическая формула:

- логическая формула.

Если - логические формулы и применили к ним бинарные операции:

, то выражения, стоящие в скобках, тоже являются логическими формулами.

3) Логические формулы, полученные из логических переменных и логических операций с применением скобок для однозначности чтения по пунктам (1), (2) снова есть логические формулы.

Пример логической формулы:

1)

Логические формулы отображают логическую структуру исследуемого высказывания. Так как сложное высказывание мы исследуем на предмет его истинности или ложности, то соответствующие логические формулы должны обеспечивать вычисление истинности или ложности исследуемого высказывания. Иногда говорят, что логические формулы дают схему или структуру исследуемого высказывания. Более того, при введении порядка старшинства логических операций, в некоторых случаях скобки вообще можно опустить, но при этом руководствоваться приоритетностью операций .

 

 


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


<== предыдущая страница | следующая страница ==>
Свойства логических операций.| Функции алгебры логики (ФАЛ).

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