Logika, zadanie nr 936
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
a1a1a1 post贸w: 28 |  2013-01-23 18:21:03Napisz zdania b臋d膮ce zaprzeczeniem poni偶szych zda艅 i oceni膰 ich warto艣膰 logiczn膮: a) $\exists_{x\in R}$($\neg$$\forall_{y\in R}$ x+y=0) b) $\neg$$\exists_{x\in R}$$\forall_{y\in R}$ (x+y=0) c) $\exists_{a\in R}$$\exists_{b\in R}$$\exists_{c\in R}$$\forall_{x\in R}$ (a$x^{2}$+bx+c>0) d) $\forall_{a\in R}$$\forall_{b\in R}$$\exists_{c\in R}$ (ac=bc$\Rightarrow$a=b) e) $\exists_{a\in R}$$\exists_{k\in N}$$\forall_{n\in N}$ (n$\ge$k$\Rightarrow$$a_{n}$=a) f) $\forall_{x_{1}}$$\in$A$\forall_{x_{2}}$$\in$A ($x_{1}$$\neq$$x_{2}$$\Rightarrow$f($x_{1}$$\neq$f($x_{2}$)) h) $\forall_{\epsilon>0}$$\exists_{n_{0\in N}}$$\forall_{n\in N}$(n>$n_{0}$$\Rightarrow$|$a_{n}$-a|<$\epsilon$) |
tumor post贸w: 8070 | 2014-07-28 09:53:24 a) $\neg \exists_{x\in R}(\neg \forall_{y\in R} x+y=0 )$ r贸wnowa偶nie $\forall_{x\in R} \neg (\neg \forall_{y\in R} x+y=0 )$ r贸wnowa偶nie $\forall_{x\in R} ( \forall_{y\in R} x+y=0 )$ zaprzeczenie fa艂szywe oryginalne zdanie prawdziwe |
tumor post贸w: 8070 | 2014-07-28 09:53:35 b) $\neg \neg \exists_{x\in R} \forall_{y\in R} (x+y=0)$ r贸wnowa偶nie $\exists_{x\in R} \forall_{y\in R} (x+y=0)$ zaprzeczenie fa艂szywe oryginalne zdanie prawdziwe |
tumor post贸w: 8070 | 2014-07-28 10:01:00 c) $\neg \exists_{a\in R} \exists_{b\in R} \exists_{c\in R} \forall_{x\in R}(ax^2+bx+c>0)$ r贸wnowa偶nie $\forall_{a\in R} \forall_{b\in R} \forall_{c\in R} \exists_{x\in R}(ax^2+bx+c\le 0)$ zaprzeczenie fa艂szywe oryginalne zdanie prawdziwe d)$\neg \forall_{a\in R} \forall_{b\in R} \exists_{c\in R}(ac=bc \Rightarrow a=b)$ r贸wnowa偶nie $\exists_{a\in R} \exists_{b\in R} \forall_{c\in R} (ac=bc \wedge a\neq b)$ zaprzeczenie fa艂szywe oryginalne zdanie prawdziwe |
tumor post贸w: 8070 | 2014-07-28 10:01:13 e) $\neg \exists_{a\in R}\exists_{k\in N} \forall_{n\in N}(n\ge k \Rightarrow a_n=a)$ r贸wnowa偶nie $\forall_{a\in R}\forall_{k\in N} \exists_{n\in N} (n\ge k \wedge a_n\neq a)$ oryginalne zdanie opisuje ci膮g od pewnego miejsca sta艂y, zaprzeczone opisuje pozosta艂e ci膮gi. Zdania s膮 prawdziwe zale偶nie od tego, o jakim ci膮gu $a_n$ m贸wimy. f)$\neg \forall_{x_1\in A} \forall_{x_2\in A}(x_1\neq x_2 \Rightarrow f(x_1)\neq f(x_2))$ r贸wnowa偶nie $ \exists_{x_1\in A} \exists_{x_2\in A}(x_1 \neq x_2 \wedge f(x_1)=f(x_2))$ oryginalne zdanie opisuje iniekcj臋, a zaprzeczone funkcj臋, kt贸ra nie jest iniekcj膮, prawdziwo艣膰 zale偶y od funkcji $f$ |
tumor post贸w: 8070 | 2014-07-28 10:01:28 h) $\neg \forall_{\epsilon>0} \exists_{n_0 \in N} \forall_{n\in N}(n>n_0 \Rightarrow |a_n-a|<\epsilon)$ r贸wnowa偶nie $\exists_{\epsilon>0}\forall_{n_0\in N} \exists_{n\in N}(n>n_0 \wedge |a_n-a|\ge \epsilon)$ oryginalne zdanie opisuje ci膮g zbie偶ny do $a$, zaprzeczone ci膮g, kt贸ry nie ma granicy w $a$, prawdziwo艣膰 zale偶y od ci膮gu $a_n$ |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj