Простая Алгебра

функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. Языка. Если W - множество истинностных значений формул данного языка, то П. Ф.- это любое отображение вида . Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений .или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. Е. Когда W={..

, исчисление высказываний,- логическое исчисление, в к-ром выводимыми объектами являются пропозициональные формулы. Каждое П. И. Задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. И., наз. Теоремой этого П. И. В качестве правил вывода обычно берут модус поненс и подстановку (произвольных пропозициональных формул вместо переменных). Иногда П. И. Задают не аксиомами, а аксиом схемами;тогда правило подстановки оказывается излишним. ..

в математической статистике - утверждение, согласно к-рому наблюдаемая случайная величина подчиняется конкретно заданному распределению вероятностей. Распределение вероятностей, определяемое П. Г., наз. Гипотетическим распределением. Напр., если наблюдается случайная величина X, то утверждение "X подчиняется закону Пуассона с параметром 1" является П. Г. См. Также Сложная гипотеза. М. ..

- группа, не имеющая нормальных подгрупп, отличных от всей группы и единичной подгруппы. Описание всех простых конечных групп является центральной проблемой в теории конечных групп. В теории бесконечных групп значение П. Г. Значительно меньше ввиду их необозримости. Простой является группа всех четных подстановок, каждая из к-рых перемещает конечное подмножество элементов множества М, если мощность Мне меньше 5. Эта группа бесконечна, если Мбесконечно. Существуют конечно порожденные и даже кон..