Hledat:

Invia.cz Last minute Tunisko Dovolená v Chorvatsku Pojeďte do Egypta Bulharsko Last minute Kréta
 

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[editovat | editovat zdroj]

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).

 
Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „https://cs.wikipedia.org/w/index.php?title=Obor_pravdivosti&oldid=9974844
Stránka byla naposledy upravena 20. 3. 2013 v 23:16. Editovat celý článek Obor pravdivosti.
Text je dostupný pod licencí Creative Commons Uveďte autora – Zachovejte licenci 3.0 Unported, případně za dalších podmínek. Podrobnosti naleznete na stránce Podmínky užití.
Další služby: Portál | Katalog | Hledej | Zprávy | Počasí | Kurzy | Práce | Slovník | TV | Online hry | Java hry | SMS | Loga a melodie | Chat | Fórum | Kontakt | Set-top-boxy