Logika, zadanie nr 586
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / RozwiÄ…zanie |
patryk1115 postów: 4 |  2012-11-02 19:31:57Kwantyfikatory: P(x,y,z)=\"x+y=z\" N- liczby naturalne a)$\forall$x$\in$N $\forall$z$\in$N $\exists$y$\in$N P(x,y,z) b)$\forall$x$\in$N $\forall$z$\in$N $\exists$y$\in$N (x $\ge$ z $\vee$ P(x,y,z)) Ustal, czy powyższe stwierdzenia są prawdziwe. Jeśli tak to udowodnij. Jeśli są fałszywe, to udowodnij przez negację prawdziwość tych stwierdzeń. |
tumor postów: 8070 | 2016-07-31 22:12:05 a) fałszywe. Negacją jest $\exists_{x\in N}\exists_{z\in N} \forall_{y\in n}x+y\neq z$ niech to będzie x=8,z=10 b) prawdziwe. Jeśli bowiem fałszywa jest pierwsza część alternatywy, to x<z, wówczas istnieje y, że x+y=z |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj