Пропозициональная Связка

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

символ формального языка, служащий для обозначения произвольного высказывания. C. К. Соболев. ..

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

выражение, построенное из пропозициональных переменных с помощью пропозициональных связок (и, возможно, нек-рых других) по следующим правилам. 1) каждая пропозициональная переменная есть II. Ф. 2) если А, В суть П. Ф., то , и суть также П. Ф. Если а - нек-рый набор пропозициональных связок (сигнатура), то под П. Ф. Сигнатуры а понимается такая П. Ф., в построении к-рой в 2) использовались лишь связки из s. C. К. Соболев. ..