3098.

26.v

TEKST ZADATKA

Koristeći logičke simbole zapisati sledeće rečenice: postoji tačno jedan broj za koji važi x−1=0 x - 1 = 0 ;

REŠENJE ZADATKA

Za zapisivanje iskaza 'postoji tačno jedan' u matematičkoj logici koristimo kvantifikator egzistencije sa znakom uzvika.

∃!\exists!

Deo rečenice 'postoji tačno jedan broj' (gde je taj broj označen promenljivom x x ) zapisujemo na sledeći način:

(∃!x)(\exists! x)

Na kraju, dodajemo uslov koji taj broj mora da ispunjava, odnosno x−1=0. x - 1 = 0 . Konačan zapis date rečenice pomoću logičkih simbola je:

(∃!x)(x−1=0)(\exists! x)(x - 1 = 0)