Z hlediska (klasické)
logiky je
výrok každé tvrzení, u nejž se má smysl ptát, zda je ci není
pravdivé, a pro nejž muže nastat pouze práve jedna z techto možností. Muže být zapsán jako jednoduchá oznamovací veta, ale také pomocí matematických symbolu a znacek (napr.
). Pokud lze rozhodnout ci je urceno, jestli je výrok pravdivý ci nikoliv ríkáme, že má
prirazenu urcitou
pravdivostní hodnotu.