Изменения
Нет описания правки
{{Определение
|definition=
Слабый конъюктивный предикат $P$ '''истинен''', если он истенен истинен на хотя бы одном согласованном срезе
}}
Сложные предикаты, составленные как логическая комбинация локальных предикатов, можно представить в дизъюнктивной нормальной форме и рассмотреть как дизъюнкцию слабых конъюктивных предикатов.
