Logika, zadanie nr 4564
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
makaron1 post贸w: 60 |  2016-05-18 15:32:191. $ p: n \in {2,3,4,5} $ $ q: n^{3} = 8 $ p jest warunkiem koniecznym/wystarczaj膮cym dla q i q jest warunkiem koniecznym/wystarczaj膮cym dla p? 2. $ p: n \in {2,3,4,5} $ $ q: 1 \le n div 2 < 3 $ p jest warunkiem koniecznym/wystarczaj膮cym dla q i q jest warunkiem koniecznym/wystarczaj膮cym dla p? Wiadomo艣膰 by艂a modyfikowana 2016-05-18 17:21:46 przez makaron1 |
tumor post贸w: 8070 | 2016-05-18 17:30:51 1. Zachodzi $q \Rightarrow p$ nie zachodzi $p \Rightarrow q$ Zatem q jest wystarczaj膮cym, p koniecznym. W drug膮 stron臋 nie. 2. Zachodzi $p \Rightarrow q$ Zachodzi $q \Rightarrow p$ Zatem oba s膮 koniecznymi i wystarczaj膮cymi. |
makaron1 post贸w: 60 | 2016-05-18 17:40:34 Dlaczego w przyk艂adzie 1 p nie implikuje q ? |
tumor post贸w: 8070 | 2016-05-18 17:41:28 bo $5^3$ nie jest r贸wne $8$ :) |
makaron1 post贸w: 60 | 2016-05-18 17:54:46 No tak tak, to, 偶e ta 2 tam jest sk艂ania艂o mnie do my艣lenia 偶e implikuje te偶, ale rozumiem, dzi臋ki |
tumor post贸w: 8070 | 2016-05-18 18:25:55 Pewne rzeczy zostawia si臋 czasem w domy艣le. Tu przed formu艂膮 domy艣lny jest du偶y kwantyfikator. Zdanie $\forall_{n}(n\in \{2,3,4,5\} \Rightarrow n^3=8)$ jest fa艂szywe. Zreszt膮 warunek konieczny czy wystarczaj膮cy dlatego maj膮 sens, 偶e dzia艂aj膮 ZAWSZE. Warunek konieczny ZAWSZE musi by膰 spe艂niony, by co艣tam by艂o mo偶liwe, a warunek wystarczaj膮cy ZAWSZE wystarcza, by co艣tam si臋 dzia艂o. Wobec tego nie wystarcza nam, 偶e czasem. Potrzebowaliby艣my, by dla ka偶dego n ze zbioru by艂o $n^3=8$, co prawd膮 nie jest. Natomiast w drugim zadaniu dla ka偶dego n ze zbioru wynik dzielenia ca艂kowitego b臋dzie 1 lub 2, czyli trafi w odpowiedni przedzia艂. Podobnie w drug膮 stron臋, dla ka偶dego n, kt贸rego wynik dzielenia przez 2 jest w odpowiednim przedziale, n b臋dzie nale偶a艂o do zbioru. |
makaron1 post贸w: 60 | 2016-05-18 19:09:34 Rozumiem, rozja艣ni艂e艣 mi to bardziej, dzi臋ki ! |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj