Logika, zadanie nr 586

Autor	Zadanie / Rozwiązanie
patryk1115 postów: 4	2012-11-02 19:31:57 Kwantyfikatory: 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