Математическая энциклопедия - противоречивый класс
Связанные словари
Противоречивый класс
класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в полученном исчислении будет выводима как формула j, так и формула .
В. Н. Гришин.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Вопрос-ответ:
Что такое противоречивый класс
Значение слова противоречивый класс
Что означает противоречивый класс
Толкование слова противоречивый класс
Определение термина противоречивый класс
protivorechivyy klass это
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):