С использованием языка математической логики

(логико-структурный анализ)

Системный анализ может выполняться и на языке математической логики. Это делается в тех случаях, когда из нескольких подсистем необходимо выделить предпочтительную, установить относительную важность элементов составляющих подсистему, выбрать для реализации одно или несколько мероприятий из множества возможных.

При построении деревьев взаимосвязей может использоваться логика трех видов:

Логика И (конъюнкция). Каждый элемент (М₀) на более низком уровне представляется суммой

М₀ = М₁¹ М₂¹... М_n¹

М0

0 уровень

1 уровень

	М11		М21		Мn1

,.........

детализирующих его подэлементов (подмножеств М_i)

	i-ый уровень

M I 1 2

M i 2 2

M i 1 2

M I 0 1

M i 21

M i 1 1

M₀ = ÈM _i¹ , где I₀ - множество индексов подмножеств M _i ¹ (i= i,n)

M _{i 1} ¹ Ç M _{i 2} ¹ = Æ при i₂¹i₁

^iÎI0

Какая-либо альтернативность выбора элементов отсутствует, поскольку исключение хотя бы одного из них приводит к невыполнению целей элементов более высокого уровня, но возможен разный объем реализации элементов, пропорциональный их относительной важности.

2. Логика ИЛИ (дизъюнкция). Существует альтернативность в выборе элементов:

М_о = М₁¹ V М ₂ ¹ ... V М _n ¹

	М о

0 уровень

1 уровень

Мn1

M21

М 11