Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 12. 11. 2018 17:25

qwerty1
Zelenáč
Příspěvky: 4
Škola: TUKE
Pozice: student
Reputace:   
 

Obor pravdivosti výrokovej formy

Viete mi prosim niekto povedat ako vyriesit tento priklad? Treba najst obor pravdivosti vyrokovej formy:

5 ≤ 4|x − 1| + |2 − 3x|

definovanej nad oborom reálnych čísel. Treba dokazat, že naše riešenie je správne.

V dôkaze sa doporučuje využiť niektorú z nasledujúcich vlastností absolútnej hodnoty reálneho čísla:
∀x∀y |xy| = |x||y|   

∀x∀y(y ≤ |x| ↔ y ≤ x ∨ y ≤ −x)

∀x∀y(|x| ≤ y ↔ x ≤ y ∧ −x ≤ y)

Offline

 

#2 12. 11. 2018 17:32

vlado_bb
Moderátor
Příspěvky: 6255
Škola:
Reputace:   145 
 

Re: Obor pravdivosti výrokovej formy

qwerty1 napsal(a):

Treba dokazat, že naše riešenie je správne.

Kde je?

Offline

 

#3 13. 11. 2018 12:25

Aspro1
Příspěvky: 181
Reputace:   
 

Re: Obor pravdivosti výrokovej formy

Podle mě se jedná o obyčejné řešení nerovnice s absolutní hodnotou (středoškolské učivo), pokud jde o ten obor pravdivosti.

Offline

 

#4 17. 11. 2018 18:12

qwerty1
Zelenáč
Příspěvky: 4
Škola: TUKE
Pozice: student
Reputace:   
 

Re: Obor pravdivosti výrokovej formy

Riešenie tej nerovnice je : (-$\infty $, 1/7> $\cup $ <11/7, $\infty $)

Problem je ze neviem ako pouzit jednu z tych viet ako dokaz. Napr. ked pouzijem tuto:

∀x∀y(y ≤ |x| ↔ y ≤ x ∨ y ≤ −x)

tak dostanem:

5 $\le $ 4(x-1) + (2-3x) $\vee $ 5 $\le $ - [4(x-1) + (2-3x)] $\Leftrightarrow $ 5 $\le $ 4x - 4 + 2 - 3x $\vee $ 5 $\le $ -(4x-4+2-3x) $\Leftrightarrow $ 5 $\le $ x-2 $\vee $ 5 $\le $  -x + 2 $\Leftrightarrow $ 7$\le $ x $\vee $ x $\le $ 3



a to nie je spravny vysledok

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson