e/Sentence (mathematical logic)

Information
has gloss	eng: In mathematical logic, a sentence of a predicate logic is a well formed formula with no free variables. A sentence is viewed by some as expressing a proposition. It makes an assertion, potentially concerning any structure of L. This assertion has a fixed truth value with respect to the structure. In contrast, the truth value of a formula (with free variables) may be indeterminate with respect to any structure. As the free variables of a formula can range over several values (which could be members of a universe, relations or functions), its truth value may vary.
lexicalization	eng: sentence
instance of	e/Statement (logic)

Meaning
Polish
has gloss	pol: Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.
lexicalization	pol: zdanie logiczne
Russian
has gloss	rus: Предложение — в логике предикатов корректно сформированная формула \alpha не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.
lexicalization	rus: предложение
Chinese
has gloss	zho: 在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子在给定的数学结构中要么是真要么是假。
lexicalization	zho: 句子