Ñëîâàðü ïî ëîãèêå
ßçûêîâîå ðàñøèðåíèå òåîðèè
Åñëè T
1
=Cn(T
1
), Cn´ – ðàñøèðåíèå Cn íà ßçûê(T
2
) è T
2
=Cn´(T
2
), òî:
T
2
– ÿçûêîâîå ðàñøèðåíèå T
1
ßçûê(T
1
)
ßçûê(T
2
) è T
2
=Cn´(T
1
).
Øèÿí Ò.À.
© Àâòîð ñòàòüè.
ßçûê(T1)
ßçûê(T2) è T2=Cn´(T1). ßçûê(T1)ßçûê(T2) è T2=Cn´(T1).