Může to být oznamovací věta přirozeného jazyka nebo tvrzení vyjádřené matematickým zápisem (symboly) nebo kombinace obojího.
Tedy, jak mohou výroky vypadat: a) Praha je hlavní město České republiky. (pravdivý výrok) b) V roce 1945 skončila 2. světová válka. (pravdivý výrok) c) 2 + 3 = 6 (nepravdivý výrok) d) 3 4 2 2 128 = (pravdivý výrok) e) Rovnice x2 +1 = 0 má řešení. (?) f) Matematika na základní škole je jednoduchá. (pravdivý výrok - nebo máte jiný názor?) g) Za týden bude pěkné počasí. (?) Určitě si nyní pokládáte otázku, pročpak není u výroků e) a g) uvedeno, zda jsou pravdivé či nepravdivé. U výroku g) je určitě většině z vás jasné, že o jeho pravdivosti můžeme dopředu těžko rozhodnout. Někdy se s předpovědí netrefí ani zkušení meteorologové. Jak si s takovýmto problémem poradíme? Jednoduše.