Zložený výrok

Zložený výrok je vo výrokovej logike výrok, ktorý vznikne z jednoduchých výrokov (prvotných formúl) aplikáciou jednej alebo viacerých logických spojok (funktorov).
Na základe definície výrokovej formuly môžeme povedať, že zložený výrok je výroková formula, ktorá súčasne nie je prvotnou formulou a teda obsahuje zložky, ktoré sú sami prvotnými formulami.
Základnými výrokovými operáciami, pomocou ktorých možno tvoriť zložené výroky, sú negácia ( ${\displaystyle \lnot }$), konjunkcia (${\displaystyle \land }$), disjunkcia (${\displaystyle \lor }$), implikácia (${\displaystyle \to }$) a ekvivalencia (${\displaystyle \leftrightarrow }$).