Иммунное Множество

- трехмерное пространство, являющееся пространством орбит действия бинарной группы икосаэдра на трехмерной сфере. Открыто А. Пуанкаре как пример гомологич. Сферы рода 2 при рассмотрении Хегора диаграмм. И. П. Является разветвленным p-листным накрытием S3 с ветвлением вдоль торического узла типа (q,r), где р, q, r любая перестановка чисел 2, 3, 5. Аналитически И. П. Может быть задано как пересечение поверхности в С 2 с единичной сферой. Наконец, И. П. Может быть отождествлено с додекаэдра ..

- то же, что погружение.. ..

Пропозициональная форма вида где все С i, i=1, . , п, имеют вид каждое С ij, i=1, . ., п. J=1, . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. Символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. Н. Ф. В, содержащую те же переменные, что и А. Такая формула Вназ. И. Н. Ф. Формулы А. Лит.:[1] Чёрч А., Введение в математическую логику, пер. С англ., т. 1, М., 1960. С. И. Соболев.. ..

- пропозициональное исчисление, использующее единственную исходную связку (импликацию). Примерами И. П. И. Являются полное (или классическое) И. П. И., задаваемое аксиомами и правилами вывода. Модус поненс и подстановка, а также позитивное И. П. И., задаваемое аксиомами и теми же правилами вывода. Всякая импликативная формула, т. Е. Формула, содержащая только связку выводима в полном (или позитивном) И. П. И. Тогда и только тогда, когда она выводима в классическом (соответственно интуициони..