Negacija rečenice: za svako x, x = 0

Prilikom negacije logičkih izraza sa kvantifikatorima, univerzalni kvantifikator $\forall$ prelazi u egzistencijalni kvantifikator $\exists ,$ a sam predikat (uslov) se negira.

\neg ((\forall x) P(x)) \iff (\exists x) (\neg P(x))

Primenjujemo ovo pravilo na datu rečenicu. Univerzalni kvantifikator $\forall x$ prelazi u egzistencijalni kvantifikator $\exists x .$

Zatim negiramo predikat $x = 0 .$ Negacija jednakosti je nejednakost.

\neg(x = 0) \iff x \neq 0

Spajanjem novog kvantifikatora i negiranog predikata dobijamo konačnu negiranu rečenicu.

(\exists x)(x \neq 0)

Započni učenje

Online časovi

30.a

Beleške