Sentence (mathematical logic)
In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: As the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.
Wikipage disambiguates
Wikipage redirect
Abstract logicAlgebraic logicAtomic sentenceBoolean-valued functionBounded quantifierCasimir LewyClosed sentenceCompactness theoremCompleteness (logic)Deduction theoremDiagonal lemmaDisjunction and existence propertiesEhrenfeucht–Fraïssé gameElementary classElementary diagramElementary equivalenceEpistemologyExistential theory of the realsFirst-order logicForcing (mathematics)Formal languageFormally real fieldIndependence (mathematical logic)Index of philosophy articles (A–C)Infinitary logicInfinite chessInstitution (computer science)Interpretation (logic)Lindenbaum–Tarski algebraList of first-order theoriesLogical sentenceModel theoryMultiple-conclusion logicNon-logical symbolNumber sentenceObject languageOpenCogOpen formulaOutline of logicPlural quantification
Link from a Wikipage to another Wikipage
primaryTopic
Sentence (mathematical logic)
In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: As the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.
has abstract
Em lógica matemática, uma sent ...... as suas sentenças são verdade.
@pt
En lógica matemática, una sent ...... das sus sentencias son verdad.
@es
In mathematical logic, a sente ...... ility modulo theories problem.
@en
Zdanie logiczne – podstawowa, ...... ć jedną z wartości logicznych.
@pl
Предложение (в логике предикат ...... зможное истинностное значение.
@ru
在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子 ...... 是如果则不是。在另一方面 是一个句子，但它在实数结构中是假。
@zh
Wikipage page ID
Link from a Wikipage to a Wikipage in a different language about the same or a related subject.
page length (characters) of wiki page
Wikipage revision ID
970,941,923
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
Em lógica matemática, uma sent ...... de de tal fórmula pode variar.
@pt
En lógica matemática, una sent ...... o de tal fórmula puede variar.
@es
In mathematical logic, a sente ...... ue of such a formula may vary.
@en
Zdanie logiczne – podstawowa, ...... ie jest tak, że s jest faktem.
@pl
Предложение (в логике предикат ...... зможное истинностное значение.
@ru
在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子 ...... 是如果则不是。在另一方面 是一个句子，但它在实数结构中是假。
@zh
label
Sentence (mathematical logic)
@en
Sentencia (lógica)
@es
Sentença (lógica matemática)
@pt
Zdanie logiczne
@pl
Предложение (логика)
@ru
句子 (数理逻辑)
@zh