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.

gollark: I'd like a Linux phone but those are basically nonexistent.
gollark: Android consistently makes annoying apiohazardous changes, though.
gollark: The "higher-end" ones sometimes even lack headphone jacks or µSD slots! EXTREMELY apiohazardous.
gollark: Mostly I want one which will just get reasonably okay images, although that is often lacking on the cheaper ones I get.
gollark: I don't care about "smoothness" and in fact had animations turned off for ages.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.