Algebraic sentence
From HandWiki
Revision as of 16:19, 4 August 2021 by imported>PolicyIA (attribution)
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 does not cite any external source. HandWiki requires at least one external source. See citing external sources. (04-August) (Learn how and when to remove this template message) |
 |  |
