Otevřít hlavní menu

Obor pravdivosti je množina sdělení, pro kterou je výrok pravdivý. Tato množina tvoří podmnožinu definičního oboru. Obor pravdivosti se používá v matematické logice.

PříkladEditovat

V: x > 5

D(V) ∈ R
P(V) = (5;∞)

Tedy, máme výrok x > 5. Definičním oborem tohoto výroku (D(V)) je množina všech reálných čísel, kdežto oborem pravdivosti je množina čísel od 5 do nekonečna (P(V)). Množina pravdivosti, je tedy submnožinou definičního oboru.

Další příklad lze vytvořit ze složeného výroku:

V: Wikipedista Tomáš je správce. ∨ Wikipedista Tomáš má práva founder.

Tento výrok je pravdivý, protože říká, že wikipedista Tomáš je správce, nebo má práva founder. Tzn., že D(V) = P(V).