=?Windows-1250?B?U2lyb2tpIEzhc3ps8w==?= <lsiroki(a)freemail.hu> writes:
Hello!
Wednesday, January 5, 2005, 3:56:10 PM-kor írtad:
PP> Hello!
PP> Azt olvastam a fóliákon, hogy a kérdezõ klózok csak egy indexikálist
PP> tartalmazhatnak. Ezek is csak (X in halmazkifejezés) alakúak lehetnek?
PP> A jelenlegi eszközökkel elképzelésem sincs, hogy fogható meg a
PP> következõ állítás:
PP> Z>max(X,Y) biztosan nem teljesül, ha min(X)>max(Z) vagy min(Y)>max(Z).
PP> (negatív kérdezõ indexikális)
Vigyazz, ez nem pontos feltele a Z>max(X,Y) nemteljesulesenek!!
PP> X-re és Y-ra föl lehetne írni a feltételt, de
utána ezeknek nem tudom a
PP> konjunkcióját képezni.
Ugye diszjunkciora (vagy-kapcsolatra) gondolsz?
PP> Peti
Z-re fel lehet írni egy kifejezést. Használj úniót!
Ha megis X-re szeretned felirni, altalanosan igy okoskodhatsz:
Egy p(X,Z) \/ q(Y,Z) feltetelt szeretnek `X in R(Y,Z)' indexikaliskent
megfogalmazni. Ha q(Y,Z) teljesul, akkor barmely X jo, egyebkent pedig
azok, amikre p(X,Z) teljesul. Ha tehat a p(X,Z) feltetelt at tudod
alakitani egy `X in Rp(Z)' alaku indexikalissa, valamint q(Y,Z)-t egy olyan
Rq(Y,Z) tartomanykifejezesse, amely pontosan akkor nem-ures, ha q(Y,Z)
teljesul, akkor az `X in Rq(Y,Z) ? inf..sup \/ Rp(Z)' felteteles
indexikalis pont jo lesz.
-Peter