Úvod do výroků

Co je to výrok?

V tomto videu se seznámíte se základním pojmem výrokové logiky – výrokem. Dozvíš se, co přesně výrok je, jak poznat, zda je nějaká věta výrokem, a co už výrokem není. Výroky jsou základní stavební jednotkou logického uvažování v matematice.

Výrok je věta, u které má smysl se ptát, zda je pravdivá, nebo nepravdivá – nic mezi tím. Zároveň výrok může mít jen jednu pravdivostní hodnotu, ne více. Typicky se jedná o oznamovací věty jako například:

• „2 + 2 = 4“ (pravdivý výrok)
• „5 je sudé číslo“ (nepravdivý výrok)

Naopak věty jako:

• „Běž!“
• „Kolik je hodin?“
• „Možná zítra zaprší.“

nejsou výroky, protože u nich nedává smysl říkat, že jsou pravdivé nebo nepravdivé. Lze jde zařadit otázky, rozkazy a názory. Specifickou kategorií jsou tvrzení s proměnnými. Ty výroky nejsou, protože proměnná může měnit hodnotu a tím pádem nelze jednoznačně určit pravdivostní hodnotu výroku.

Tato látka tvoří důležitý základ pro další studium matematiky a logického myšlení. Pusť si video a udělej první krok do světa výrokové logiky!