Výrokový

Výrokové je adjektivum od slova výrok a v logice označuje pojmy a struktury spojené s výroky, tedy prohlášeními, která mohou být buď pravdivá nebo nepravdivá. V kontextu logiky se často hovoří o výrokové logice jako o zjednodšené formě logiky, která se zabývá pravdivostními hodnotami a jejich spojováním.

Základními pojmy jsou výrok, pravdivostní hodnota a logické spojky. Výrok je jednoduché tvrzení, které lze ocenit jako pravdivé nebo nepravdivé. Výroky lze kombinovat pomocí spojek, například negace (¬, není), konjunkce (∧, a), disjunkce (∨, nebo), implikace (→, pokud‑pak) a ekvivalence (↔, právě tehdy). Pro reprezentaci platnosti se používají pravdivostní tabulky a Booleova algebra, která umožňuje algebraické zpracování výroků a zjednodušování jejich kombinací.

V praxi se výroková logika uplatňuje v informatice, formální verifikaci, návrhu digitálních obvodů, programování a umělé inteligenci. Pojmy jako výrokové formule a výrokové funkce (boolean functions) popisují, jak se ze základních výroků odvozují složené výrazy a jaké mají výsledné pravdivostní hodnoty. Výroková logika se od predikátové logiky liší tím, že pracuje pouze s výroky bez proměnných a kvantifikátorů; predikátová logika zahrnuje proměnné a vztahy nad objekty.

Přehled používané terminologie zahrnuje výrokové spojky, pravdivostní tabulky, zákony Booleovy algebry a známé logické zákony (De Morganovy zákony, identita, nulová hodnota).