Negacija: postoji x koji je prirodan broj i x > 0

Da bismo negirali datu rečenicu, koristimo pravila za negaciju kvantifikatora i logičkih veznika. Negacija egzistencijalnog kvantifikatora $\exists$ je univerzalni kvantifikator $\forall .$

\neg (\exists x) \equiv (\forall x)

Zatim primenjujemo De Morganov zakon na konjunkciju (logičko I, $\land$ ). Negacija konjunkcije je disjunkcija (logičko ILI, $\lor$ ) negacija pojedinačnih iskaza.

\neg (p \land q) \equiv \neg p \lor \neg q

U našem slučaju, iskazi su $p: x \text{ je prirodan broj}$ i $q: x > 0 .$ Njihove negacije su $\neg p: x \text{ nije prirodan broj}$ i $\neg q: x \le 0 .$

Spajanjem svih delova dobijamo konačnu negaciju početne rečenice.

(\forall x)(x \text{ nije prirodan broj } \lor x \le 0)

Započni učenje

Online časovi

30.d

Beleške