roznowartosciowosc ania: funkcja roznowartosciowa x₁≠x₂⇒y₁≠ y₂ ta definicje rozumiem dla kazdego x1 rozne od x2 z czego wynika ze y1 rozne od y2 ale czemu rownowaznie podawana jest definicja funkcji roznowartosciowej jako y₁=y₂ ⇒x₁=x₂

ICSP: prawo kontrapozycji.

wredulus_pospolitus: Wynika to z logiki. Implikacja jest fałszywa jedynie gdy mamy zdanie: 1 ⇒ 0 czyli w pierwszej wersji jest to: x₁ ≠ x₂ ⇒ y₁ = y₂ zauważ, że jak odwrócimy 'stronami' zdania: y₁ = y₂ ⇒ x₁ ≠ x₂ to także otrzymujemy wersję 1 ⇒ 0 (dla drugiego zdania) czyli oba zdania są fałszywe dokładnie w tej samej wersji, czyli gdy mamy: x₁ ≠ x₂ ORAZ y₁ = y₂

jc: (P ⇒ Q) ⇔ [(~Q) ⇒ (~P)]