zad biedny student: Kazdy niepusty element rodziny A, który nie jest podzbiorem zbioru B, jest podzbiorem zbioru C. ? jak to zapisać symbolicznie ? ∀_x (x≠0 ⋀ x∊A ⋀ x⊄B) ⇒ x⊂C ? czy ∀_{x∊A ⋀ x≠0} x⊄B ⇒ x⊂C ? czy ∀_x (x∊A ⋀ x≠0) ⇒ (x⊄B ⇒ x⊂C?

biedny student: Δ

biedny student: δ

biedny student: Δ

biedny student: δ

zombi: Ja bym wybrał drugą odpowiedź tj. ∀(x∊A)((x≠∅ ⋀ x⊄B) ⇒ x⊆C)