Logika, zadanie nr 946

Autor	Zadanie / Rozwiązanie
a1a1a1 postów: 28	2013-01-24 16:50:30 Napisz 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	2013-01-26 08:55:43 a) $\forall_{x\in R} \forall_{y\in R} (x+y=0)$ Zdanie po zaprzeczeniu nieprawdziwe, przed zaprzeczeniem poprawne. b) $\exists_{x\in R} \forall_{y\in R}(x+y=0)$ Zdanie po zaprzeczeniu nieprawdziwe, przed zaprzeczeniem poprawne. c) $\forall_{a\in R} \forall_{b\in R} \forall_{c\in R} \exists_{x\in R}(ax^2+bx+c\le 0))$ Zdanie po zaprzeczeniu nieprawdziwe, przed zaprzeczeniem poprawne.

tumor postów: 8070	2013-01-26 09:12:44 d) $\exists_{a\in R} \exists_{b\in R} \forall_{c\in R}\neg (ac=bc \Rightarrow a=b)$ Po zaprzeczeniu nieprawda, przed zaprzeczeniem prawda. e) $\forall_{a\in R} \forall_{k\in N} \exists_{n\in N}\neg(n\ge k \Rightarrow a_n=a)$ f) $\exists_{x_1\in A} \exists_{x_2\in A}\neg(x_1\neq x_2 \Rightarrow f(x_1)\neq f(x_2)) $ h) $\exists_{\epsilon>0} \forall_{n_0\in N} \exists_{n \in N}\neg(n>n_0 \Rightarrow \|a_n-a\|<\epsilon )$ W pozostałych przykładach wartość logiczna zależy od konkretnego $f$ i $a_n$.

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj