8 / 12
Н.Л. Архиереев
8
Гуманитарный вестник
# 02·2017
представлять собой
3
k
-элементное множество множеств мно-
жеств о.с.
:
{
} { }
{ }
{ }
{ }{ }
{ }
{
}
{ }
{
}
{ }
{
}
{ }
{
}
{ }
{ }
{
}
{ }
{
}
{ }
{
}
{ }
{ }
{
}
{ }
{
}
{ }
{
}
{ }
{
}
{
}
{ }
{
}
{
}
{ }
{ }
{
}
{ }{ }
{
}
{ }
{ }
{
}
{ }{ }
{
}
{ }{ }
{
}
{ }
{
}
{ }
{
}
,
,
,
,
,
,
,
,
,
,
1.
,
,
,
,
,
,
,
,
,
,
2.
3.
,
,
,
,
,
,
,
; ,
4.
,
,
6.
,
8.
,
<
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
p q p q
CCCp CCCq p q
p q p q
p q
p q
{ }{ }
{
}
{ }
{
}
{ }
{
}
{ }
{
}
{
}
{ }
{
}
{
}
,
,
5.
,
,
7.
,
<.
,
;
p q p q
p q p q
p q
p q
Каждое из множеств множеств о.с. данного
W
3
соответствует
элементу дизъюнкции с тем же номером:
&
&
& &
&
& & & & .
∨
∨
∨
∨
∨
∨
∨
∨
∨
NCCp NCCq NCCp Nq NCCp Iq Np NCCq
Ip NCCq Np Nq Np Iq Ip Nq Ip Iq
Формулам с модальностями вида
◊ �, ◊ ◊
�
следующим образом
приписываются значения в
3
3
; ;
″
α′
i
ОГ W
:
2 2
3
1 1
3
2
1
(
)));
t
W W W W W
W
W
W B t
α
�◊�Β = ⇔ ∀ ( ∈ ⇒ ∃ ( ∈
′′
′′
′′
′′ ′′
′′
∈ ∧∀α α ∈ ⇒ =
′′
′′
2 2
3
1 1
3
2
1
(
)));
t
W W W W W
W
W
W B t
α
◊�◊Β = ⇔ ∃ ( ∈ ∧∀ ( ∈
′′
′′
′′
′′ ′′
′′
∈ ⇒ ∃α α ∈ ∧ =
′′
′′
2 2
3
1 1
3
2
1
(
)));
α
�◊�¬Β = ⇔ ∀ ″( ″ ∈ ″ ⇒ ∃ ″( ″ ∈
″
∈ ″ ∧∀α α ∈ ″ ⇒ =
t
W W W W W
W
W
W B f