Jump to content

Algebraic sentence

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Anaxial (talk | contribs) at 23:58, 31 August 2020 (Reverted 1 edit by 66.117.110.158 (talk) to last revision by AnomieBOT using TW). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.