Zbiory kasia: Czy warunek (C\D)∪K=K jest warunkiem koniecznym aby C⊆K? Dlaczego?

iteRacj@: definicja: Jeżeli twierdzenie ma postać implikacji p⇒q, to zdanie q nazywa się warunkiem koniecznym dla zdania p, a zdanie p nazywa się warunkiem dostatecznym dla zdania q. sprawdzamy, czy (C⊆K) ⇒ ((C\D)∪K=K) p⇒q (C⊆K)⇒(C∪K=K)⇒((C\D)∪K=K) odp. tak