ПРОТИВОРЕЧИВЫЙ КЛАСС

ПРОТИВОРЕЧИВЫЙ КЛАСС

класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в полученном исчислении будет выводима как формула j, так и формула .

В. Н. Гришин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Смотреть что такое "ПРОТИВОРЕЧИВЫЙ КЛАСС" в других словарях:

  • МЕЛКАЯ БУРЖУАЗИЯ — класс мелких собственников при системе товарного х ва, занимающий в капиталистич. обществе промежуточное положение по отношению к его осн. классам буржуазии и пролетариату. Наиболее общие признаки, характеризующие М. б. как класс, частная… …   Советская историческая энциклопедия

  • ФРАНЦИЯ — (France) гос во в Зап. Европе. Площ. 551 601 км2. Нас. 52 300 тыс. чел. (на 1 янв. 1974). Св. 90% населения французы. Столица г. Париж. Подавляющее большинство верующих католики. По конституции 1958 в состав Ф., кроме метрополии, входят:… …   Советская историческая энциклопедия

  • РЕФОРМА —         (франц. reforme, от лат. reformo преобразовываю), преобразование, изменение, переустройство к. л. стороны обществ. жизни (порядков, институтов, учреждений), не уничтожающее основ существующей социальной структуры. С формальной т. зр. под… …   Философская энциклопедия

  • Биишева, Зайнаб Абдулловна — В Википедии есть статьи о других людях с такой фамилией, см. Биишев. Зайнаб Биишева Имя при рождении: Зайнаб Абдулловна Биишева Дата рождения: 2 января 1908(1908 01 02 …   Википедия

  • Научный социализм — Эту страницу предлагается объединить с Научный коммунизм. Пояснение причин и обсуждение на странице Википедия:К объединению/18 августа 2012 …   Википедия

  • МЕЛКАЯ БУРЖУАЗИЯ —         класс мелких собственников города и деревни, живущих исключительно или гл. обр. собств. трудом. При капитализме занимает промежуточное положение между двумя осн. классами пролетариатом и буржуазией. К сельской М. б. относится подавляющее… …   Философская энциклопедия

  • ДИКТАТУРА ПРОЛЕТАРИАТА — политич. власть рабочего класса, устанавливаемая им в результате ниспровержения буржуазии, в результате победы социалистической революции; необходима рабочему классу на весь период революц. превращения капитализма в социализм. Д. п. направлена на …   Советская историческая энциклопедия

  • ИНТЕЛЛИГЕНЦИЯ —         (лат. intelligentia, intellegentia понимание, познавательная сила, знание, от intelli geiis, intellegens умный, понимающий, знающий, мыслящий), обществ. слой людей, профессионально занимающихся умств. (преим. сложным) трудом и обычно… …   Философская энциклопедия

  • ТУБЕРКУЛЕЗ — ТУБЕРКУЛЕЗ. Содержание: I. Исторический очерк............... 9 II. Возбудитель туберкулеза............ 18 III. Патологическая анатомия............ 34 IV. Статистика.................... 55 V. Социальное значение туберкулеза....... 63 VІ.… …   Большая медицинская энциклопедия

  • Германия — (лат. Germania, от Германцы, нем. Deutschland, буквально страна немцев, от Deutsche немец и Land страна)         государство в Европе (со столицей в г. Берлин), существовавшее до конца второй мировой войны 1939 45.          I. Исторический очерк …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»