14
Tekst zadatka namerno ne prikazujemo jer želimo da podržimo izdavača Krugove zbirke. Možeš pronaći tekst zadatka u zbirci.
Dati su iskazi: - ako je onda je - - postoji broj koji je manji od 5 i veći od 6 Ispitati tačnost složenog iskaza
Prvo određujemo istinitosnu vrednost iskaza Iskaz glasi: "Ako je onda je ". Pošto je skup brojeva većih od 6 podskup skupa brojeva većih od 3, ova implikacija je uvek tačna.
Zatim računamo vrednost izraza u iskazu kako bismo proverili njegovu tačnost.
Pošto smo dobili da je rezultat iskaz je tačan.
Iskaz tvrdi da postoji broj koji je istovremeno manji od 5 i veći od 6. Takav broj ne postoji, pa je iskaz netačan.
Sada menjamo dobijene vrednosti i u početnu formulu.
Rešavamo delove izraza korak po korak. Prvo implikaciju i negaciju.
Zatim rešavamo disjunkcije unutar zagrada.
Konačno, rešavamo konjunkciju i ekvivalenciju.
Zaključujemo da je složeni iskaz tačan.