Предикаттар жана алар боюнча операциялар Аныктама. М бош эмес көптүк болсун. Анда Mде аныкталган n-локалдык предикат n өзгөрмөлөрдү камтыган туюнтма болуп саналат жана бул өзгөрмөлөр м көптүгүнүн элементтери менен алмаштырылганда айтууга айланат 26,19 Kb. 3