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: RTGs are a thing, they use them to power space probes, but they use specific fuels and not just random nuclear waste.
gollark: What's the question here?
gollark: That makes sense then.
gollark: That doesn't really make sense. You would get U-239, wouldn't you? And that apparently decays into neptunium.
gollark: Just stick ` around your stuff.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.