Hello!
Azt olvastam a fóliákon, hogy a kérdező klózok csak egy indexikálist
tartalmazhatnak. Ezek is csak (X in halmazkifejezés) alakúak lehetnek?
A jelenlegi eszközökkel elképzelésem sincs, hogy fogható meg a
következő állítás:
Z>max(X,Y) biztosan nem teljesül, ha min(X)>max(Z) vagy min(Y)>max(Z).
(negatív kérdező indexikális)
X-re és Y-ra föl lehetne írni a feltételt, de utána ezeknek nem tudom a
konjunkcióját képezni.
Peti