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 22. 01. 2009 21:05

mazman
Zelenáč
Příspěvky: 14
Reputace:   
 

Výrok

Určete obor pravdivosti výrokové formy x^2+2x<=0. Pomocí existenčního kvantifikátoru vytvořte z tého výrokové formy pravdivý exstenční výrok

může mě prosím někdo nakopnout?

Offline

 

#2 22. 01. 2009 21:17

Kondr
Veterán
Místo: Linz, Österreich
Příspěvky: 4247
Škola: FI MU 2013
Pozice: Vývojář, JKU
Reputace:   38 
 

Re: Výrok

Nejprve to vyřešíme jako klasickou kvadratickou nerovnici, vidíme, že to platí pro všechna x z <-2,0>. Tento interval je obor pravdivosti. Existenční kvantifikátor můžeme přidat spoustou způsobů. Třeba:
"Existuje reálné číslo x, pro které nerovnost x^2+2x<=0 platí"
nebo třeba
"Existuje reálné číslo x, pro které nerovnost x^2+2x<=0 neplatí"
nebo
"Existuje sudé přirozené číslo x menší než 42, pro které nerovnost x^2+2x<=0 neplatí"
nebo
"Existuje racionální číslo x, pro které nerovnost x^2+2x<=0 platí"


BRKOS - matematický korespondenční seminář pro střední školy

Offline

 

#3 22. 01. 2009 21:37

mazman
Zelenáč
Příspěvky: 14
Reputace:   
 

Re: Výrok

díkec

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson