Импликация предикатов

Пусть на множестве Х заданы предикаты А(х) и В(х).

Определение: Импликацией предикатов А(х) и В(х), заданных на множестве Х, назовём предикат А(х) В(х), заданный на том же множестве Х, который обращается в ложное высказывание при тех и только тех значениях x из Х, при которых А(х) обращается в истинное высказывание, а В(х) – в ложное высказывание.

Из определения следует, что, если известны и , то

, тогда по закону де Моргана

Дата добавления: 2014-01-11