Výroková forma
1. ročník SŠ
Výroková forma je matematický výraz obsahující jednu nebo více proměnných, který se po dosazení konkrétních hodnot může stát pravdivým nebo nepravdivým výrokem. Na rozdíl od běžného výroku tedy nemá sama o sobě pevně danou pravdivostní hodnotu. Výrokové formy se využívají například při zápisu matematických vztahů, nerovnic a při práci s kvantifikátory. Důležitou součástí je rozlišování mezi proměnnými a hodnotami, které do nich dosazujeme.
Forma
- výraz obsahující proměnné, ze kterého se stane výrok, jestliže za proměnné dosadíme konstanty
- hypotéza vyjadřuje, že v daném okamžiku nelze rozhodnout o pravdivosti výroku
- definiční obor - D = {}
- pravdivostní obor - P = {}
Příklady
V(x): 3x - 4 = 20; x ∈ ℝ; D = {ℝ}; P = {8} - pro x = 8 je výrok pravdivý
V(x): = 2; x ∈ ℝ; D = {ℝ - 0}; P = {5} - pro x = 5 je výrok pravdivý
Ověř si porozumění
Zjisti, jak dobře látku ovládáš (3 otázky).
Zeptej se na článek
Zeptej se na cokoliv z tohoto článku.
Souvisí s tímto
Jak těžký je tento článek?