Logika, zadanie nr 937
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
13579 post贸w: 9 |  2013-01-23 18:22:341. Zapisa膰 w j臋zyku symbolicznym nast臋puj膮ce zdania sformu艂owane w j臋zyku naturalnym: 1)Je偶eli liczba naturalna dzieli iloczyn dw贸ch liczb naturalnych i jest wzgl臋dnie pierwsza z jedn膮 z tych liczb, to dzieli drug膮 liczb臋. 2) Ka偶da liczba rzeczywista z przedzia艂u <-1,1> jest warto艣ci膮 funkcji sinx. 3) 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 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. |
tumor post贸w: 8070 | 2014-07-28 09:00:28 1) $ (n,a,b \in N) \wedge (n|ab) \wedge (NWD(n,a)=1) \Rightarrow n|b$ 2) $\forall_{y\in R}((y\in <-1,1>)\Rightarrow \exists_{x\in R}sinx=y )$ |
tumor post贸w: 8070 | 2014-07-28 09:24:12 3) $ \forall_{\overline{AB}} \exists !_{C\in \overline {AB}} (|AC|=|BC|)$ 2. 1) a) $\forall_{\overline{AB}} \exists_{C} \exists_{r\in R^+} (\overline{AB}\subset K(C,r))$ b) $ \exists_{C}\exists_{r\in R^+}\forall_{\overline{AB}} (\overline{AB}\subset K(C,r))$ a prawda, b fa艂sz |
tumor post贸w: 8070 | 2014-07-28 09:24:27 2) a) $\forall_{\triangle ABC} \exists_{D}\exists_{r\in R^+} (|AD|=|BD|=|CD|=r)$ b) $ \exists_{D}\exists_{r\in R^+}\forall_{\triangle ABC} (|AD|=|BD|=|CD|=r)$ a prawda, b fa艂sz 3) a) $\exists_{k-\mbox{prosta}}\forall_A, \forall_B (A\in k \wedge B\in k)$ b) $\forall_A, \forall_B \exists_{k-\mbox{prosta}}(A\in k \wedge B\in k)$ b prawda, a fa艂sz |
tumor post贸w: 8070 | 2014-07-28 09:27:35 4) a) $\forall_{\overline{AB}\in E}\exists_{D\in \overline{AB}}(|AD|=|BD|)$ b)$\exists_{D\in E}\forall_{\overline{AB}\in E}(D\in \overline{AB} \wedge |AD|=|BD|)$ a prawda, b fa艂sz |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj