Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Равносильность предикатовОпределение. Два n-местных предиката , и заданных над одними и теми же множествами называются равносильными тогда и только тогда, когда их множества истинности совпадают: Равносильность предикатов P и Q будем обозначать P↔Q. Переход от предиката к равносильному называется равносильным преобразованием. Определение. Предикат , заданный на множествах называется следствием предиката , заданного над теми же множествами тогда и только тогда, когда P + Q +. Q – следствие P записываем так: P Q. Теорема. Каждые два тождественно истинных предиката, заданных на одних и тех же множествах, равносильны. Обратно, всякий предикат, равносильный тождественно истинному предикату, сам является тождественно истинным предикатом.
|