Jazyk
L
NepřijmeSámSebe
3/3
4
3/45
•
Poznámka
:
L
NepřijmeSámSebe
= {
m
i
:
m
i
Ï
L
(
M
i
),
i
=
1, …}
•
Nechť
L
(
M
k
) =
L
NepřijmeSámSebe
•
PřijmeSámSebe
(
M
k
) =
N
e
implikuje
m
k
Ï
L
(
M
k
) implikuje
m
k
Î
L
NepřijmeSámSebe
implikuje
m
k
Î
L
(
M
k
)
•
PřijmeSámSebe
(
M
k
) =
Ano
implikuje
m
k
Î
L
(
M
k
) implikuje
m
k
Ï
L
NepřijmeSámSebe
implikuje
m
k
Ï
L
(
M
k
)
•
L
NepřijmeSámSebe
není tedy přijímán žádným TS
M
k
spor
spor