zbiór zxcvb: Wyznaczyć zbiór A: A={x∊Z: x² − 3x+2≠0 ⇔X² − 7x+12=0} korzystam najpierw z (p⇔q) ⇔ (p⇒q) i (q⇒p) a później z (p⇒q)⇔ ¬p ⋁q Wychodzi zbiór pusty?

zxcvb: pomoże ktos?

Basia: równoważność jest prawdziwa jeżeli obie strony mają tę samą wartość logiczną badamy kiedy obie strony są prawdziwe

	2
−3x+2≠0 ⇔ 3x≠2 ⇔ x≠
	3

x²−7x+12=0 Δ=49−48=1

	7−1
x1=		=3
	2

	7+1
x2=		=4
	2

czyli nigdy obie strony równocześnie nie są prawdziwe

	2
równocześnie fałszywe są jedynie dla x=
	3

	2
stąd A={		}
	3