Výrok V je takový jazykový výraz (sdělení), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivý anebo nepravdivý, přičemž nastává právě jedna z těchto možností.
Pravdivostní hodnota výroku V je číslo 0 nebo 1, přičemž: - pravdivostní hodnota 1 (pravda), je-li výrok pravdivý, - pravdivostní hodnota 0 (nepravda), je-li výrok nepravdivý.
Logické spojky - výroky můžeme negovat nebo spojovat pomocí logických spojek a vytvářet tak složené výroky: