zapis Zielony: Problem z zapisem Rodzina {X,Y,Z} jest rodzina rozłączną Każdy niepusty podzbiór zbioru A który nie jest podzbiorem zbioru B jest podzbiorem zbioru C. Każdy niepusty element rodziny S który nie jest podzbiorem zbioru B jest podzbiorem zbioru C.. Jak to zaspisac symbolicznie bardzo prosze o pomoc.

b.: b) ∀ E ⊆ A ( E ≠ ∅ ∧ ¬ E ⊆ B) ⇒ E ⊆ C (zależnie od konwencji, można też użyć powyżej ,,⊂'' zamiast ,,⊆'')

Zielony: a pozostałe? jak je trzeba rozpisać?

b.: c) to niemal to samo, zapisz sam a) nie wiem, co to znaczy 'rodzina rozłączna'

Zielony: tez nie weim co to jest rodzina rozłączna. a czy c ma tak wyglądać ∀ x ⊂ S ( x ≠ ∅ ∧ ¬ x ⊂ B) ⇒ x ⊂ C. czy jako leemt ma atu byc mały x czy duży?

Zielony: jako element

b.: to czy x jest mały czy duży nie ma (formalnie) żadnego znaczenia, dla mnie bardziej naturalny byłby jednak duży c) nie tak wygląda, zapisz jeszcze raz ,,element rodziny S''

Zielony: ∀ x ∊S ( x ≠ ∅ ∧ ¬ x ⊂ B) ⇒ x ⊂ C tak?

b.: tak

Zielony: dzięki a moze a to trzzba po prostu tak zaspiac X∧Y=∅∧ X∧Z=∅ ∧Y∧Z=∅? ten znak ∧ pomiedzy XYZ to ma byc rzekrój. czy to jest dobrze?

Zielony: X∧Y=∅∩ X∧Z=∅ ∩Y∧Z=∅

b.: gdybym był zmuszony jakoś zinterpretować znaczenie ,,rodziny rozłącznej'', to też bym tak zrobił, ale sam bym to nazwał ,,rodziną rozłącznych zbiorów''

Zielony: ja chyba tez. czyli ten zaspi do a jest dobry ?

b.: tak