Определение: Отрицанием предиката А(х), заданного на множестве Х называется предикат (не А(х), неверно, что А(х)), определённый на том же множестве X, который обращается в истинное высказывание при тех и только тех значениях переменной из Х, при которой предикат А(х) обращается в ложное высказывание.
studopedia.su - Студопедия (2013 - 2026) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление