Obor pravdivosti
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říklad
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).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.