logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Logika, zadanie nr 4329

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

trusiak
post贸w: 8
2016-02-20 13:56:39

Przepraszam za kolejny post praktycznie w tej samej dziedzinie, ale mam tutaj ogromnego zgryza. Nie mog臋 sobie poradzi膰 z przechodnio艣ci膮 w poni偶szym zadaniu:

Sprawd藕 czy relacja $R \subset X \times X$ jest relacj膮 r贸wnowa偶no艣ci:

$xRy \iff 3| x^{2} - y^{2}$

M贸g艂by mi kto艣 艂opatologicznie wyt艂umaczy膰, czy jest spe艂niony ten warunek w przechodnio艣ci? Z moich notatek nie jestem w stanie wywnioskowa膰 sk膮d si臋 co wzi臋艂o.


janusz78
post贸w: 820
2016-02-20 16:13:57

Relacja $ R $ jest przechodnia, gdy

$ (xRy \wedge yRz)\rightarrow (xRz),\ \ x,y,z\in D_{R} $

$ (3| x^2-y^2\wedge 3|y^2 - z^2 )\rightarrow (3|x^2-z^2)?$



Dow贸d:

$ x^2 - y^2 = 3k,\ \ k\in Z $ (1)

$ y^2 - z^2 = 3l,\ \ l\in Z$ (2)

Dodaj膮c stronami r贸wnania (1), (2)

$ x^2 - z^2 = 3(k+l)= 3s, \ \ s =k+l \in Z,$

St膮d

$ 3| x^2-z^2.$

c.b.d.o.

Na przyk艂ad

$( 3|5^2 - 4^2\wedge 3|4^2 -2^2 )\rightarrow (3|5^2 -2^2).$

Wiadomo艣膰 by艂a modyfikowana 2016-02-20 16:18:34 przez janusz78
strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj