Студопедия  
Главная страница | Контакты | Случайная страница

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

К какому классу формул можно отнести все теоремы исчисления высказываний

Читайте также:
  1. A.Свободная энергия равна 0, изменение энтропии стремится к минимально возможному значению, наблюдаются потоки энергии и вещества во внешнюю среду и обратно.
  2. B) Маркеры внутри тела Т, предоставляющие возможность отмены части выполненных в рамках данной Т действий
  3. IV. Основные виды вопросов и правила их постановки и формулирования.
  4. L Выводы должны следовать из содержания основной части работы, отвечать целям и задачам работы, сформулированным во введении.
  5. MS Power Point: назначение, возможности. Технологии создания электронных презентаций.
  6. А что нам скажут взрослые люди, которые, возможно, еще не до конца поверили в происходящее?
  7. А) Способствуют повышению резервных возможностей организма.
  8. Абсолютные и относительные показатели вариации назначение, формулы исчисления достоинства и недостатки.
  9. Административное принуждение как вид государственного принуждения, его цели, характерные черты, и виды. ??? можно бы добавить
  10. Аксиомы исчисления высказываний.

Определим эквивалентность формул в исчислении высказываний.

Определение 1. Формулы U и B называются эквивалентными, что обозначается ú- , если

ú- (1)

Рассмотрим некоторые простые свойства отношения эквивалентности.

1. Рефлексивность: ú- .

2. Симметричность: если ú- , то ú- .

3. Транзитивность: если ú- и ú- , то ú- .

Задание 1. Доказать свойство симметричности отношения эквивалентности.

Решение.

1. ú-

2. ú-

3. ú-

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



Дата добавления: 2015-01-30; просмотров: 20 | Поможем написать вашу работу | Нарушение авторских прав
1 | 2 | 3 | <== 4 ==> | 5 |

lektsii.net - Лекции.Нет - 2014-2024 год. (0.007 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав