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

Prilikom negacije iskaza sa kvantifikatorima, univerzalni kvantifikator $\forall$ (za svako) prelazi u egzistencijalni kvantifikator $\exists$ (postoji), a sam iskaz (predikat) se negira.

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

U zadatoj rečenici, predikat je $x \cdot 0 = 0 .$ Njegova negacija je:

x \cdot 0 \neq 0

Zamenom kvantifikatora i negiranog predikata, dobijamo konačno rešenje:

(\exists x)(x \cdot 0 \neq 0)

Započni učenje

Online časovi

30.v

Beleške