Výrok (logika)

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.