Рефераты | Рефераты по информатике, программированию | Исчисление высказываний Исчисление высказываний Категория реферата: Рефераты по информатике, программированию Теги реферата: виды рефератов, банк курсовых работ бесплатно Добавил(а) на сайт: Червячок. Предыдущая страница реферата | 8  9  10  11  12  13  14  15  16  17  18 | Следующая страница реферата

нетрудно заметить, что последний столбец в этой таблице совпадает со столбцом для p. Поэтому, можно сказать, что с этой точки зрения выражение (pÚq)Ù(pÚØq) эквивалентно p, и везде, где мы встретим это выражение, мы можем его заменить на p.

Как мы уже отмечали, одной из наших забот является упрощение сложных высказываний. Поэтому, для упрощения выражений, мы определим, что означает для двух выражений быть эквивалентными и заменим более сложное на менее сложное.

Определение 5.3. Два высказывания называются эквивалентными, если они на одних и тех же состояниях своих переменных принимают одни и те же значения.

Другими словами, если эти высказывания имеют одинаковые таблицы истиности, то они эквивалентны. Таким образом, один способ установить эквивалентность двух высказываний - вычислить их таблицы истиности и сравнить. Мы, однако, воспользуемся другим способом.

Теорема 5.1. Два высказывания p и q - эквивалентны (обозначается pºq) тогда и только тогда, когда pÛq  - общезначимо.

Доказательство:

Пусть pºq.  Значит таблицы истиности для p и q совпадают. Следовательно, на тех состояниях, где  p=Т,  q=Т  также, а где p=F, то и q=F. Отсюда следует, что pÛq всегда Т (поскольку мы имеем либо ТÛТ, либо FÛF), т.е. pÛq   -  общезначимо или тавтология.

Пусть pÛq   -общезначимо. Тогда если p=Т, то q должно быть Т, а если p=F, то и q должно быть F.

Таким образом, на одних и тех же состояниях эти выражения принимают одинаковые значения. Следовательно, таблицы истиности для p и q совпадают. Последнее означает по определению , что pºq.

(Доказательство закончено.)

Эта теорема показывает, что установить эквивалентность можно, доказав общезначимость специального высказывания.

Свойства эквивалентности.

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

Таблица 5.8.

Свойства эквивалентности

Главная | Партнеры | Лучшие рефераты

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

Рефераты | Рефераты по информатике, программированию | Исчисление высказываний | страница реферата 13 | Большая Энциклопедия Рефератов от А до Я    Все рефераты, курсовые, дипломы, шпаргалки, сочинения, изложения, решебники, конспекты являются общедоступными    Копирование и размещение в интернете разрешается только при наличии активной индексируемой ссылки на Ahaha.ru

© 2006-2020 «Ahaha.ru»