Logika, zadanie nr 5727
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / Rozwiązanie |
| wojtekqwe12345 postów: 1 |  2018-04-22 15:31:15Zbadać czy formuła jest $[(A \subset B)(C \subset D)] \Rightarrow [(A \backslash D) \subseteq (B \backslash C)]$ jest twierdzeniem rachunku zbiorów. |
| tumor postów: 8070 | 2018-04-22 21:49:51 Załóżmy, że chodzi o koniunkcję $(A\subset B)$ i $(C \subset D)$ $x \in A\backslash B \Rightarrow x\in A \wedge x \notin D \Rightarrow x \in B \wedge x \notin C \Rightarrow x \in B \backslash C$ |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj