在归纳支持分级逻辑句法中,后承原理可表述为:对于任意E、H和H′,如果H′是H的后承,那么S〔H′,E〕≥S〔H,E〕及S〔H′〕≥S〔H〕。在归纳概率分级逻辑句法中,后承原理可表述为:如果S→S′则P〔S′,R〕≥P〔S,R〕,P〔,〕为归纳概率分级二元函项。