Математическая энциклопедия:
Свойство нек-рых логических исчислений и логико-математических исчислений, заключающееся в том, что посылки каждого правила исчисления состоят из подформул заключения. П. с. позволяет организовать поиск вывода "снизу вверх" (см. Генцена формальная система). С целью повышения эффективности такого поиска для многих исчислений рассматриваются различные специализации и обобщения П. с. С. Ю. Маслов.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020