2.3. Qeyri-səlis çoxluqlarda daxilolma və məntiq qanunları
qeyri-səlis çoxluğu qeyri-səlis çoxluğuna yalnız o zaman daxildir ki, şərti ödənsin. Ciddi bərabərsizlik şərtində daxilolma ciddi olar .
elementi qeyri-səlis çoxluğuna səviyyə ilə yalnız və yalnız o zaman o vaxt daxildir ki, olsun.
-nın -yə zəif daxil olması və ya kimi başa düşülür.
Zəif tənlik
və ya
kimi təyin edilir.
Qeyri-səlis çoxluqlar üzərində əməllərinin bir sıra qanunları mövcuddur:
Neytrallıq:
Kommutativlik:
Assosiativlik:
Monotonluq:
İdempotentlik:
Distributivlik:
Udulma:
De Morqan qanunu:
İnkarı-inkar qanunu:
Əsas və boş çoxluğun tamamlanması:
BURA QƏDƏR
2.4. Qeyri-səlis çoxluqlar üzərində əməllər
Tutaq ki, universal çoxluğu, mənsubiyyət funksiyaları və olan və qeyri-səlis çoxluqları verilimişdir. Bu qeyri-səlis çoxluqlar üzərində birləşmə, kəsişmə, tamamlama əməlləri onların mənsubiyyət funksiyaları ilə aşağıdakı kimi təyin edilir:
və qeyri-səlis çoxluqlarının birləşməsi mənsubiyyət funksiyası olan qeyri-səlis çoxluqdur.
Misal:
Şəkil 7. Qeyri-səlis çoxluqların birləşməsi
və qeyri-səlis çoxluqlarının kəsişməsi mənsubiyyət funksiyası olan qeyri-səlis çoxluqdur.
Misal:
Şəkil 8. Qeyri-səlis çoxluqların kəsişməsi
qeyri-səlis çoxluğunun tamamlayıcısı mənsubiyyət funksiyası olan qeyri-səlis çoxluqdur:
Şəkil 9. qeyri-səlis çoxluğunun tamamlayıcısı
http://hozir.org
Dostları ilə paylaş: |