Zadanie ze zbiorów i ich logiki tymson: Mam udowodnić, że [A ⋀ B = A] ←→ [A\B =∅] Zapisałem, że [(qA ⋀ qB) ←→qA] ←→ [(qA ⋀ ~qB) ←→ ~(qA ⋁ qB)] Gdzie qA = x∊A , qB analogicznie. Nie chce mi wyjść tabelką prawdy. Czy ktoś może zlokalizował błąd?

wredulus_pospolitus: czy symbol: ⋀ to tak naprawdę chodzi o ∩

tymson: Tak. Napisałem tak, bo uznałem, że ktoś mógłby uznać ∩ za znak rodziny.

ite: błąd w tym zapisie, który masz udowodnić: to nie jest równoważność, w tym co zapisałeś też błędy: masz wykazać tezę a nie się na niej oprzeć, prawa strona nie jest równoważna tej wyjściowej tezie

ite: teza jest równoważnością, mój błąd !

tymson: Ktoś ma jakiś pomysł?

ite: jakiś ma przy dowodzeniu implikacji od prawej do lewej strony równoważności wykorzystaj własność A\B = A\(A∩B)