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

Формализация высказываний



Читайте также:
  1. Исчисление высказываний
  2. Исчисление высказываний.
  3. Логика высказываний
  4. Методика рассмотрения вопросов: понятие модели, информационное моделирование, типы информационных моделей, формализация
  5. Построение таблиц истинности сложных высказываний
  6. Проблема дедукции в логике высказываний
  7. Семантика логики высказываний

 

Формализация высказывания – это представления сложного высказывания формулой. В сложных высказываниях нужно выделить элементарные высказывания, знаки операций и представить все это формулой.

Пример. «Если студент Зыков не присутствует на лекции и не является больным, то он находится в казино».

, где X – студент Зыков присутствует на лекции, Y – студент Зыков болен, Z – студент Зыков в казино.

Формула может быть представлена графом, где каждая вершина будет обозначать операцию (рис. 116).

Пример. X×(YÚZ).

Рис. 116. Граф представления формулы X×(YÚZ)

 


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






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