Zbiory, logika, studia Dominik: Siemka, proszę o rozwiązanie lub wskazówki... Wyznaczyć A∪B A∩B A/B B/A A' B' Kwestię rysowania przedziałów jak dla mnie można pominąć, nie rozumiem jak wyznaczyć zbiór A i B w tym przypadku?

	1
A={x∊R : x +		>= 2 ⇒ 9x >= 3x+1 }
	x

B={x∊R : x² >= 4 ⇔ x² > 9 }

Pestek: implikacja jest prawdziwa jeśli pierwszy to po lewej jest prawdziwe a drugie dowolne "lub" gdy to po lewej fałsz i to drugie fałsz równoważność prawda jeśli obydwa prawda lub obydwa fałsz rozpatrz przypadki wyznacz zbiory i koniec

aniab: albo z negacji negacji czyli kiedy ~p ⋁ q

aniab: wstępnie A x∊(−∞;0)∪<1;+∞) B x∊(−∞;3)∪(−2;2)∪(3;+∞)

Pestek: czyli x + 1/x >=2 <=> x∊<(0,+∞) − tak jakby zdanie "p" 9^x >= 3^x <=> x∊<1,+∞) − takie zdanie "q" p i q = (1,+∞) p i ~q = pusty ~p i ~q = (−∞,0> czyli ostatecznie A = (−∞,0> lub <1,+∞);

Dominik: Pestek zrobiłbyś to dla zbioru A? Ja wiem o co chodzi, ale nie potrafię tego udowodnić, tzn nie znam żadnego sposobu żeby to zapisać.

Pestek: aniab: ( p=>
q)<=>(~p v q) − pierwsze prawo definiowania implikacji

aniab: tak mi się kojarzyło ale tu https://matematykaszkolna.pl/strona/1072.html znalazłam tylko negację więc ją sobie zanegowałam

ogryzek: implikacja jest prawdziwa jeśli pierwszy to po lewej jest prawdziwe a drugie dowolne