Главная Случайная страница


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 4. Как сделать так, чтобы вас уважали и ценили? Как сделать лучше себе и другим людям Как сделать свидание интересным?


Категории:

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






Равносильность предикатов





Определение. Два n-местных предиката , и заданных над одними и теми же множествами называются равносильными тогда и только тогда, когда их множества истинности совпадают:

Равносильность предикатов P и Q будем обозначать P↔Q.

Переход от предиката к равносильному называется равносильным преобразованием.

Определение. Предикат , заданный на множествах называется следствием предиката , заданного над теми же множествами тогда и только тогда, когда P + Q +.

Q – следствие P записываем так: P Q.

Теорема. Каждые два тождественно истинных предиката, заданных на одних и тех же множествах, равносильны.

Обратно, всякий предикат, равносильный тождественно истинному предикату, сам является тождественно истинным предикатом.

Date: 2015-08-15; view: 567; Нарушение авторских прав; Помощь в написании работы --> СЮДА...



mydocx.ru - 2015-2024 year. (0.006 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию