Kvantifikatori: proizvod celih brojeva je ceo broj

Prvo analiziramo značenje kvantifikatora i skupova u formuli. Simbol $\forall$ označava univerzalni kvantifikator ('za svako'), dok $\mathbb{Z}$ predstavlja skup celih brojeva.

\mathbb{Z} = \{ \dots, -2, -1, 0, 1, 2, \dots \}

Formula tvrdi da je proizvod bilo koja dva cela broja $x$ i $y$ takođe ceo broj. Ovo svojstvo se u matematici naziva zatvorenost skupa $\mathbb{Z}$ u odnosu na operaciju množenja.

x \in \mathbb{Z}, y \in \mathbb{Z} \implies x \cdot y \in \mathbb{Z}

Poznato je iz definicije skupa celih brojeva da je operacija množenja binarna operacija unutar tog skupa. To znači da množenjem bilo koja dva cela broja (pozitivna, negativna ili nule) uvek dobijamo rezultat koji nema decimalni deo i pripada skupu $\mathbb{Z} .$

3 \in \mathbb{Z}, -5 \in \mathbb{Z} \implies 3 \cdot (-5) = -15 \in \mathbb{Z}

Zaključujemo da je tvrđenje tačno za sve elemente domena.

\tau((\forall x \in \mathbb{Z})(\forall y \in \mathbb{Z})(xy \in \mathbb{Z})) = \top

Započni učenje

Online časovi

25.g

Beleške