Пропозициональная Переменная

набор комплексных торов, определяемых нечетномерными когомоло-гиями комплексного кэлерова многообразия, геометрия к-рых тесно связана с геометрией самого многообразия. Пусть (соответственно ) - пространство re-мерных когомологий с действительными (соответственно с целыми) коэффициентами комилексно-аналитич. Кэлерова многообразия X. На веществ. Торе при нечетном пможно двумя различными способами ввести комплексную структуру, используя представление n-мерных когомологий с комплексными ко..

подгруппа H группы G, удовлетворяющая следующему условию. Если К - подгруппа из G, сопряженная с H, то K сопряжена с H в подгруппе, порожденной H и K. Силова подгруппы в конечных группах, Холла подгруппы и Картера подгруппы в конечных разрешимых группах пронормальны. Понятие П. П. Тесно связано с понятием абнормалъной подгруппы. Любая абнормальная подгруппа пронормальна, а нормализатор П. П. Абнормален. Лит.:[1] Шеметков Л. А., формации конечных групп, М., 1978. В. Д. Мазуров. ..

символ формального языка, служащий для обозначения логической операции, с помощью к-рой из данных высказываний можно получать новые высказывания. Важнейшими П. С. Являются конъюнкция a (иначе ), дизъюнкция , импликация (иначе или ), отрицание (иначе ~), эквивалентность (иначе или ). Эти П. С. Соответствуют в русском языке выражениям "и", "или", "влечет", "не верно, что" и "равносильно". Иногда рассматриваются и другие П. С., напр. Т. Н. Шеффера штрих. Символ обычно вводится не как незав..

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