#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