 Sentential logic is the subset of first-order logic involving only algebraic sentences.The notion is very close to the notion of algebraic structure, which, arguably, may be just a synonym.Saying that a theory is algebraic is a stronger condition than saying it is elementary.