А.А. Венедиктов. Экономико-математическое моделирование правового регулирования денежного довольствия военнослужащих — ВоенПрав 
Научные труды > Монографии


А.А. Венедиктов. Экономико-математическое моделирование правового регулирования денежного довольствия военнослужащих




Для повышения наглядности записи определений и удобства применения в исследовании аппарата математической логики будем использовать кванторы всеобщности (EMBED Equation.3HYPER14) и существования (EMBED Equation.3HYPER14). Квантор EMBED Equation.3HYPER14 означает «для любого», квантор EMBED Equation.3HYPER14
· «существует», слова «такое что» будем обозначать двоеточием. С использованием данной символики рассмотренное выше определение незначащего для функции EMBED Equation.3HYPER14 юридического факта будет выглядеть следующим образом: если EMBED Equation.3HYPER14: EMBED Equation.3HYPER14.
В ряде случаев удобно использовать также квантор единственности (EMBED Equation.3HYPER14!), который означает «существует ровно один». Данный квантор может быть определен через кванторы существования и всеобщности следующим образом: EMBED Equation.3HYPER14 по определению есть EMBED Equation.3HYPER14.
Применение квантора единственности рассмотрим на примере введенного ранее понятия перечисляемой величины. Пусть r1, r2,
·, r36
· список установленных в Вооруженных Силах Российской Федерации воинских званий, где r1 соответствует воинское звание «рядовой», r2
· «матрос» и т.д. Тогда если v
· воинское звание конкретного военнослужащего, то EMBED Equation.3HYPER14.
Множество юридических фактов, которые являются значащими для функции fi, обозначим EMBED Equation.3HYPER14, где k
· число значащих фактов для i-й выплаты. Очевидно, что EMBED Equation.3HYPER14. Ранее мы рассматривали пример с подстановкой функции, определяющей размер оклада по воинской должности, в качестве аргумента функции, соответствующей размеру надбавки за работу со сведениями, составляющими государственную тайну. Следовательно, EMBED Equation.3HYPER14 (например, множество значащих юридических фактов для оклада по воинской должности является собственным подмножеством множества значащих юридических фактов для процентной надбавки к окладу по воинской должности за работу со сведениями, составляющими государственную тайну).
Отметим, что здесь и далее знаком EMBED Equation.3HYPER14 мы будем обозначать собственное подмножество, т.е. запись EMBED Equation.3HYPER14 означает, что множество A является подмножеством непустого множества B и при этом не совпадает с ним. Для обозначения подмножества либо собственного, либо несобственного будем использовать символ EMBED Equation.3HYPER14.
В целях удобства и последующей оптимизации (упрощения) модели произведем разбиение выплат, входящих в денежное довольствие, на группы. В качестве первого признака, по которому предлагается их классифицировать, рассмотрим объем значащих юридических фактов.
Как было показано выше, EMBED Equation.3HYPER14. Иными словами, имеются пары выплат, для которых множество значащих юридических фактов одной выплаты является собственным подмножеством множества значащих юридических фактов другой выплаты. В то же время существуют такие выплаты, для которых не найдется парной выплаты, множество значащих юридических фактов которой является собственным подмножеством множества значащих юридических фактов первой выплаты. Из конечности множеств Ci следует, что соотношение EMBED Equation.3HYPER14 невозможно. Основываясь на этих обстоятельствах, введем понятие базовой выплаты.

51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71


Группа: Монографии
Категория: Научные труды