24
++, -- îáîçíà÷àþò îáû÷íûå àðèôìåòè÷åñêèå îïåðàöèè):
1. 0
∈
S è 1
∈
S;
2. åñëè x, y
∈
S, òî min(1, x++y)
∈
S;
3. åñëè x, y
∈
S, òî max(0, x++y 1)
∈
S;
4. åñëè x
∈
S, òî 1x
∈
S.
Îïåðàöèè â S îïðåäåëÿþòñÿ ñëåäóþùèì îáðàçîì:
x + y = min(1, x++y), x*y = max(0, x++y 1),
x = 1 - x,
x
∨
y = max(x,y), x
∧
y=min(x,y).
Áåç òðóäà ïðîâåðÿåòñÿ, ÷òî òàê îïðåäåëåííàÿ ñòðóêòóðà óäîâëåòâîðÿ-
åò ïðèâåäåííûì àêñèîìàì, íî íå àêñèîìàì áóëåâîé àëãåáðû. Ñôîðìóëè-
ðîâàííûì óñëîâèÿì 1 4 óäîâëåòâîðÿþò ðàçëè÷íûå êîíêðåòíûå ìíîæå-
ñòâà, íàïðèìåð, S={0,1}; S=[0,1]; S={âñå ðàöèîíàëüíûå ÷èñëà ìåæäó
0 è 1}; S(m)={âñå ðàöèîíàëüíûå ÷èñëà âèäà n/m äëÿ íåêîòîðîãî ôèêñè-
ðîâàííîãî íàòóðàëüíîãî m è öåëûõ 0
≤
n
≤
m}, ñ îïåðàöèÿìè
Íå÷åòêîå ïîäìíîæåñòâî À óíèâåðñàëüíîãî ìíîæåñòâà U ìîæåò áûòü
îïðåäåëåíî ôóíêöèåé ïðèíàäëåæíîñòè
µ
(À,õ)
∈
Õ, ãäå Õ óäîâëåòâîðÿåò
òðåáóåìûì àêñèîìàì (òðàäèöèîííî Õ=S=[0,1]);
µ
(U,u) = 1. Îïåðà-
öèè íàä íå÷åòêèìè ìíîæåñòâàìè îïðåäåëÿþòñÿ â òåðìèíàõ èõ ôóíêöèé
ïðèíàäëåæíîñòè è ñâîäÿòñÿ (ïîòî÷å÷íî) ê îïåðàöèÿì íàä çíà÷åíèÿì
ïîñëåäíèõ, òî åñòü ê îïåðàöèÿì â Õ.
Îïåðàöèè , +, * â ñëó÷àå Õ=S =[0,1] è ÿâëÿþòñÿ èçâåñòíûìè â
òåîðèè íå÷åòêèõ ìíîæåñòâ äîïîëíåíèåì, ãðàíè÷íûìè ñóììîé è ïðîèçâå-
äåíèåì, ìåíåå ïîïóëÿðíûìè, ÷åì ∨, ∧, íî íàõîäÿùèìè ñâîå îáîñíîâà-
íèå â íîâîì êîíòåêñòå. Âíå ýòîãî êîíòåêñòà, (â ÷àñòíîñòè, â ðàìêàõ áóëåâîé
àëãåáðû) íåïîñðåäñòâåííóþ ñâÿçü ìåæäó îïåðàöèÿìè ∧, ∨ è íàä íå÷åò-
êèìè ìíîæåñòâàìè óñòàíîâèòü çàòðóäíèòåëüíî.