Matematyka dyskretna, zadanie nr 4520
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
geometria post贸w: 865 |  2016-05-05 21:20:02Pokaz, ze nie jest to tautologia kwantyfikatorow (rysujac diagram relacji) a) $\exists_{x}$$\exists_{y}$p(x,y)$\Rightarrow$$\exists_{x}$$\forall_{y}$p(x,y) b) $\forall_{x}$p(x,x)$\Rightarrow$$\forall_{x}$$\forall_{y}$p(x,y) c) $\forall_{x}$(p(x)$\vee$q(x))$\Rightarrow$$\forall_{}$p(x)$\vee$$\forall_{x}$q(x) a) np. X={0,1,2,3}; diagram: (1,0). b) np. X={0,1,2,3}; diagram: (0,0), (1,1), (2,2), (3,3), (1,0). c) tutaj nie wiem dobrze? nie jestem pewny b). |
tumor post贸w: 8070 | 2016-05-05 21:34:41 Dobrze. c) nie zrobimy tak jak poprzednich przyk艂ad贸w, bo tam by艂a jedna funkcja dw贸ch argument贸w, a tu dwie funkcje jednego argumentu. Ale mo偶emy rozumie膰 na przyk艂ad p(x) jako (x,1) q(x) jako (1,x) Wtedy $X=\{1,2,3\}$ i diagram (1,1),(2,1),(1,3). I prawd膮 jest, 偶e dla ka偶dego x mamy (1,x) lub (x,1), ale nie jest prawd膮, 偶e dla ka偶dego mamy (1,x) i nie jest prawd膮, 偶e dla ka偶dego mamy (x,1). |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj