dowodzenie
kajka:
Jak udowodnić: B ⊆ A ∪ B
15 sty 00:15
Krzysiek: można nie wprost szybko dochodzimy do sprzeczności
15 sty 00:47
kajka:
Tak to będzie wyglądać?
B ⊆ A ∪ B ⇔ ∀ x (x ε B) ⇒ (x ε A ∪ B) ⇔∀ x [(x ε B) ⇒ (x ε A ∨ x ε B)
z=p→(p∨q)
15 sty 01:05