Obor pravdivosti: Porovnání verzí

Smazaný obsah Přidaný obsah

V textu

Verze z 19. 10. 2022, 13:26

Přesměrování na:

@@ Řádek 1: / Řádek 1: @@
+#PŘESMĚRUJ [[Matematická logika#Obor pravdivosti]]
-'''Obor pravdivosti''' je [[množina]] sdělení, pro kterou je [[Výrok (logika)|výrok]] pravdivý. Tato množina tvoří podmnožinu [[Definiční obor|definičního oboru]]. Obor pravdivosti se používá v [[matematická logika|matematické logice]].
-== Příklad ==
-V: x > 5
-D(V) ∈ R<br />
-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).
-[[Kategorie:Matematická logika]]