Matematyka dyskretna, zadanie nr 4520

Autor	Zadanie / Rozwiązanie
geometria postów: 865	2016-05-05 21:20:02 Pokaz, 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

strony: 1

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