Výrok a pravdivos» je gramatická veta, ktorá je pravdivá alebo nepravdivá.Hovoríme, ¾e výrok má pravdivostnú hodnotu: pravdivý, nepravdivý. Pí¹eme 1, 0 alebo P, N. Teda výrok okrem iného, musí by» oznamovacia veta. Z daných výrokov mô¾eme utvori» nové výroky pomocou logických operácií 6; ^; _; !; ´. Logické operátory 6; ^; _; !; ´ sa nazývajú aj logické spojky. Ak máme výrok V, tak jeho negácia je výrok :V je výrok "Neplatí V". Ak máme výroky V; W, tak mô¾eme utvori» nové výroky: