Udowodnij. galileo: Musze udowodnic cos takiego: {<x,y>} ⇒ {x} x {y} robie to tak: zakladam {<x,y>} pokaze {x} x {y} wezmy a ∊ {<x,y>} rozwazmy (u,w) : a = (u,w) ⋀ (u,w) ∊ {<x,y>} u ∊ {<x,y>} w ∊ {<x,y>} co dalej? Pozdrawiam.

galileo: ponawiam pytanie

J: z def. iloczynu kartezjańskiego {x}x{y}= {(x,y):x∊{x} i y∊y}={<x,y>} co tu dowodzić? to podstawienie do definicji

galileo: To wiem, ale JAK mam podstawic? Tzn jaki zrobic kolejny krok? Musze miec jakis logiczny tok rozumowania, bo mam takie zadanie a w zadaniu trzeba zrobic dowod

J: z def. iloczyn karezjańskiego AxB={<a,b>: a∊A i b∊B} u Ciebie A={x} i B=(y)

galileo: dzieki, ale dalej nie mam pojecia co zrobic.

J: z def. il. artezjańskiego: AxB={<a,b>: a∊A i b∊B} Niech A={x} i B=(y) {x}x{y}={<a,b>: a∊{x} i b∊{y}}={<x,y>} bo to jedyna para spełniająca warunki zadania