This means that, when all formulae in Γ hold, then at least one formula in Σ also has to be true.
这意味着当在Γ中的所有公式成立的时候，在Σ中至少有一个公式必定是真的。