28.v
Ispitati tačnost formule u skupu prirodnih brojeva: ;
Analiziramo značenje date formule. Formula tvrdi da za svaki prirodan broj postoji neki prirodan broj koji je strogo manji od njega.
Skup prirodnih brojeva počinje od broja 1, odnosno to je skup pozitivnih celih brojeva.
Da bismo dokazali da je tvrđenje netačno, dovoljno je pronaći jedan kontraprimer. Neka je
Zamenom u nejednakost dobijamo da mora postojati prirodan broj takav da važi:
Međutim, ne postoji prirodan broj koji je strogo manji od 1. Najmanji prirodan broj je upravo 1.
Pošto smo pronašli vrednost za za koju ne postoji odgovarajuće zaključujemo da je data formula netačna (njen logički status je neistina).