Algebraic sentence

In mathematical logic, an algebraic sentence is one that can be stated using only equations between terms with free variables. Inequalities and quantifiers are specifically disallowed. Sentential logic is the subset of first-order logic involving only algebraic sentences.

Saying that a sentence is algebraic is a stronger condition than saying it is elementary.

Related

This article is issued from Wikipedia - version of the Monday, November 24, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.