01 - Iskazi i logički veznici

Istinitosna vrednost iskaza

Koristeći iskazne konstante i nekom iskazu može se dodeliti njegova istinitosna vrednost.
U primerima koji smo prethodno dali, navedeni su neki jednostavniji iskazi. Takve iskaze dogovorno označavamo slovima koja nazivamo Ovakva
notacija se uvodi zbog jednostavnijeg rada sa iskazima. Uvođenje iskaznih slova potiče od starogrčkog filozofa Aristotela.

Sada ćemo uvesti simbole kojima označavamo istinitosnu vrednost nekog iskaza. Simbol (čita se " ") označava da je posmatrani iskaz tačan. Simbol (čita se " ")
označava da je posmatrani iskaz netačan. Simboli i se nazivaju č .
Koristeći logičke konstante svakom iskazu možemo dodeliti njegovu istinitosnu vrednost, u oznaci (slovo pripada starogrčkom alfabetu i čita se “tau”), na sledeći način

Iskaz koji je tačan se naziva đ . Važi da je , kao i

 
© UNIVERZITET METROPOLITAN, Beograd / Kopiranje i umnožavanje nije dozvoljeno / Sva prava su zadržana.