Teoria mnogości, zadanie nr 4449
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
geometria postów: 865 | 2016-04-13 23:35:56 Dziekuje. x,y$\in R$ c) $\forall_{x}$$\exists_{y}$(x<z$\wedge$z<y) Nie, bo np. dla z=0 mamy takie zdanie $\forall_{x}$$\exists_{y}$(x<0$\wedge$0<y), ktore jest falszywe np. dla x=0, bo wtedy 0<0 a to nie jest prawda i koniunkcja jest juz falszywa, czyli nie dla kazdego x jest to prawdziwe. Wykresem bedzie podzbior prostej, w tym przypadku bedzie to zbior pusty. d) $\exists_{y}$x*y=1 Wykresem bedzie podzbior prostej. W tym przypadku bedzie to rzut na os OX wykresu x*y=1, czyli $\pi_{x}$[x*y=1]={x$\in R$: $\exists_{y}$ takie, ze $<$x,y$>$ $\in$ x*y=1}=$R\backslash${0} |
tumor postów: 8070 | 2016-04-13 23:50:29 c) będzie to zbiór pusty, ale w argumentacji nie wystarcza, że na przykład z=0. Bo tak nie uzasadniasz, że z=5 również tego nie spełnia albo z=234890843 nie spełnia. Ogólnie, jeśli mamy z, to nie jest prawdą, że dla każdego x będzie x<z. Wobec tego i koniunkcja z dowolnym innym warunkiem nie będzie prawdą. d) ok |
geometria postów: 865 | 2016-04-14 01:37:14 e) p(x,y)=($\forall_{t} \in R$)(x=2t$\Rightarrow$y=2t) Wykresem bedzie podzbior plaszczyzny. Po przeksztalceniu ($\forall_{t} \in R$)(x$\neq$2t$\vee$y=2t) tutaj nie wiem dokladnie wydaje mi sie, ze bedzie tak: x$\neq$2t to zbior pusty, a y=2t to cala plaszczyzna OXY. Skoro to jest alternatywa to ostatecznie wykresem bedzie cala plaszczyzna OXY. Wowczas $\exists_{x}$ p(x,y)=$R$ i $\exists_{y}$ p(x,y)=$R$. f) p(x,y)=($\exists_{t} \in R$)(x=2t $\wedge$ y=3t) t=$\frac{x}{2}$ zatem y=$\frac{3}{2}$x. Wykresem bedzie prosta y=$\frac{3}{2}$x w plaszczyznie OXY. Wowczas $\exists_{x}$ p(x,y)=$R$ i $\exists_{y}$ p(x,y)=$R$. |
geometria postów: 865 | 2016-04-14 02:19:49 g) p(x,y)=($\exists_{t}>0$) (x=2t $\wedge$ y=3t) t=$\frac{x}{2}$, ale $\exists_{t}>0$ wiec $\frac{x}{2}$>0 /*2 x>0 czyli x>0 $\wedge$ y=3t , t=$\frac{x}{2}$ Wykresem bedzie prosta y=$\frac{3}{2}$x dla x>0 na plaszczyznie OXY. Wowczas $\exists_{x}$ p(x,y)=$\exists_{y}$ p(x,y)=$R$. h) p(x,y)=($\forall_{t} \in R$) (x=2t $\Rightarrow$ y=3t) Po przeksztalceniu ($\forall_{t} \in R$) (x$\neq$2t $\vee$ y=3t). zobacze co bedzie w e) i) p(x,y)=($\forall_{t} \in R$) y=t*y 1. y$\neq$0 t=1 (jak y$\neq$0, to ta formula zachodzi tylko dla t=1, wiec nie dla kazdego t) 2. y=0 0=0*t 0=0 prawda dla kazdego t$\in R$ 1$\cup$2=2 a wiec prawdziwe dla kazdego t$\in R$. Wykresem bedzie podzbior prostej. Wydaje mi sie, ze to bedzie {0} (bo tylko dla y=0 bylo to prawdą). -------------------------------------------------- A co by bylo gdyby te funkcje zdaniowe wygladaly tak: (*) p(x,y)=($\exists_{t}\in R$) (x=2t $\vee$ y=3t) (**) p(x,y)=($\exists_{t}\in R$) (x=2 $\vee$ y=3t) (***) p(x,y)=($\exists_{t} \in R$) (x=2 $\wedge$ y=3t)? |
tumor postów: 8070 | 2016-04-14 09:48:29 e) przypuśćmy, że $x=x_0$. Wtedy oczywiście istnieje $t_0$ takie, że $x=2t_0$, czyli $y=2t_0=x$. punkt $(x_0,x_0)$ należy do wykresu. Ale jeśli $y_0\neq x_0$, to punkt $(x_0,y_0)$ nie spełnia $\forall_{t}(x=2t \Rightarrow y=2t)$, bo nie spełnia tego dla $t=\frac{x_0}{2}$. Wykresem jest prosta y=x. Przetestuj sobie na punktach $(8,8)$ (spełnione dla $t\neq 4$ i dla t=4, czyli dla wszystkich t) i $(4,6)$ (spełnione tylko dla $t\neq 2$) Natomiast rzuty tej prostej na osie to za każdym razem R. f) ok g) rzuty to $R_+$ h) rzeczywiście analogicznie do e) i) funkcja zdaniowa jednej zmiennej czy dwóch? ---- (*) cała płaszczyzna (**) cała płaszczyzna, bo dla dowolnego punktu istnieje t spełniające drugi z warunków (***) prosta x=2, pierwsza współrzędna musi być 2, natomiast dla dowolnej drugiej znajdziemy t. |
geometria postów: 865 | 2016-04-14 09:57:26 i) dwóch zmiennych |
tumor postów: 8070 | 2016-04-14 10:13:35 i) y musi być 0, x może być dowolny. Taki właśnie wykres: podzbiór płaszczyzny dla którego y=0, czyli oś OX. Sprawdź na punktach. (1,0) spełnia, (0,0) spełnia, (0,1) nie spełnia, (1,1) nie spełnia. |
geometria postów: 865 | 2016-04-14 15:27:27 h) p(x,y)=($\forall_{t} \in R$)(x=2t$\Rightarrow$y=3t), czyli ($\forall_{t} \in R$)(x$\neq$2t$\vee$y=3t) Tutaj mam problem. bo dla punktu o wspolrzednych (2t,3t) jest spelnione dla kazdego t. (np. (0,0), (2,3), (4,6), (6,9) itd.) dla punktu (2,3): t$\neq$$\frac{x}{2}$$\neq$$\frac{2}{2}$$\neq1$ $\vee$ t=$\frac{y}{3}$=$\frac{3}{3}$=1 Dla pozostalych chyba nie bedzie prawdziwe. Zatem wykresem bedzie zbior {(x,y)$\in R^{2}$: (2t,3t)$\in p(x,y)$}, czyli zbior punktow postaci (2t,3t). Mozliwe, ze zle to rozumiem. Ale jezeli to jest dobrze to jakie beda rzuty na osie? |
geometria postów: 865 | 2016-04-14 18:06:09 j) $\forall_{x}$ x*y<1 Wykres to {0}, bo tylko dla y=0 to jest spelnione dla kazdego x albo wykres to zbior pusty, bo dla x=3 i y=2 jest 6<1 czyli nieprawda dla kazdego x. (nie wiem, ktore poprawne) k) $\forall_{x}$ $x^{2}$+1<y Wykres to zbior pusty, bo dla x=0 i y=0 jest 1<0 czyli nieprawda dla kazdego x. Wiadomość była modyfikowana 2016-04-14 18:11:41 przez geometria |
geometria postów: 865 | 2016-04-14 21:40:34 l) ($\exists_{z}\in R$)(|z|=x$\wedge$ y=z-1) |z|=x , x$\ge$0 z=x $\vee$ z=-x Wykresem beda dwie polproste: y=x-1 ; x$\ge$0 oraz y=-x-1 ; x$\ge$0. m) ($\exists_{z}\in R$)(x<z $\wedge$ z<y) korzystajac z prawa przechodnosci mam x<y. Wykresem bedzie polplaszczyzna y>x. n) ($\exists_{z>0}$)(x-1)(y-2)z>1 Tutaj nie wiem jak to zrobic. |
strony: 1 2 3 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj