nLab sentence

In a language LL, for example a first-order language, a sentence is a formula in which all variables are bound.

When a sentence is interpreted in terms of a structure of LL, it becomes true or false.

Created on June 6, 2017 at 12:41:50. See the history of this page for a list of all contributions to it.