片段（邏輯）

在數學邏輯中，邏輯語言或理論的片段是通過對語言施加句法限制獲得的這種邏輯語言的子集。因此，片段的形成良好的公式是原始邏輯中的一個子集。但是，片段和邏輯中的公式的語義以及片段的任何公式都可以在原始邏輯中表達。

邏輯片段的可滿足性或模型檢查等任務的計算複雜性可能不高於原始邏輯中的相同任務，因為第一個問題從第一個問題降低到另一個問題。計算邏輯中的一個重要問題是確定眾所周知的邏輯的片段，例如一階邏輯，它們具有盡可能的表現力，但可以決定或更強烈地具有較低的計算複雜性。描述性複雜性理論的領域旨在通過確定準確捕獲某些複雜性類別的邏輯片段來建立邏輯和計算複雜性理論之間的聯繫。