Logika, zadanie nr 1740
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
323232 post贸w: 22 |  2013-11-22 18:56:411) Zapisa膰 w j臋zyku symbolicznym nast臋puj膮ce zdania sformu艂owane w j臋zyku naturalnym : a) Kwadrat liczby wymiernej jest liczb膮 wymiern膮. b) 呕adna liczba rzeczywista nie jest mniejsza od samej siebie. c) Je偶eli liczba naturalna dzieli iloczyn dw贸ch liczb naturalnych i jest wzgl臋dnie pierwsza z jedn膮 z tych liczb, to dzieli drug膮 liczb臋. d) Ka偶da liczba rzeczywista z przedzia艂u <-1,1> jest warto艣ci膮 funkcji sinx. e) Ka偶dy odcinek ma dok艂adnie jeden 艣rodek. 2) Zapisa膰 w j臋zyku symbolicznym nast臋puj膮ce zdania sformu艂owane w j臋zyku naturalnym i oceni膰 ich warto艣膰 logiczn膮: (1) (a) Dla ka偶dego odcinka na p艂aszczy藕nie E istnieje ko艂o zawieraj膮ce ten odcinek. (b) Istnieje ko艂o zawieraj膮ce ka偶dy odcinek na p艂aszczy藕nie E. (2) (a) Dla ka偶dego tr贸jk膮ta p艂aszczyzny E istnieje okr膮g, kt贸ry mo偶na opisa膰 na tym tr贸jk膮cie. (b) Istnieje okr膮g, kt贸ry mo偶na opisa膰 na ka偶dym tr贸jk膮cie p艂aszczyzny E. (3) (a) Istnieje prosta, kt贸ra przechodzi przez ka偶de dwa punkty p艂aszczyzny E. (b) Dla ka偶dych dw贸ch punkt贸w p艂aszczyzny E istnieje prosta przechodz膮ca przez te punkty. (4) (a) Dla ka偶dego odcinka na p艂aszczy藕nie E istnieje punkt, kt贸ry jest jego 艣rodkiem. (b) Istnieje punkt, kt贸ry jest 艣rodkiem ka偶dego odcinka na p艂aszczy藕nie E. |
mimi post贸w: 171 | 2013-11-22 19:59:24 a.)$\forall_{x \in \mathbb{Q}} x^{2} \in \mathbb{Q}$ b.)$\forall_{x \in \mathbb{R}} x\ge x$ c.)$\forall_{a, b, c \in \mathbb{R}} a|bc \wedge NWD(a,b) = 1 \Rightarrow a|c$ d.)$\forall_{y \in <-1; 1>} \exists_{x \in \mathbb{R}} \sin{x} = y$ |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj