Импликативная Нормальная Форма

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

- бесконечное множество натуральных чисел, не содержащее бесконечных рекурсивно перечислимых подмножеств. В частности, само И. М. Не является рекурсивно перечислимым. И. М. По своей насыщенности рекурсивно перечислимыми подмножествами в известном смысле противоположны продуктивным множествам. Рекурсивно перечислимые множества с иммунными дополнениями наз. Простыми и образуют один из важных классов нерекурсивных рекурсивно перечислимых множеств. Типы рекурсивной эквивалентности иммунных и конечн..

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

- логическая операция, соответствующая образованию высказывания "если А, то В" из высказываний Аи В. В формализованных языках И. Чаще всего обозначается символами Высказывание Аназ. Посылкой высказывания а высказывание В- его заключением. Точный смысл высказывания различен при классическом, конструктивном и других подходах к построению семантики языка. В языках с классич. Семантикой употребление 'И. Согласовано с истинностной таблицей. Так понимаемая И. Наз. Материальной импликацией. В. Е..