Terms containing true proposition

Subject	English	Russian
d.b..	collection of true propositions	множество истинных высказываний (ssn)
math.	identically true proposition	тождественно истинное высказывание
d.b..	inferring additional true propositions from the given ones	логический вывод дополнительных истинных высказываний из существующих высказываний (ssn)
d.b..	Operators are provided for operating on rows in tables, and those operators directly support the process of inferring additional true propositions from the given ones	для обработки строк данных предоставляются операторы, которые напрямую поддерживают процесс логического вывода дополнительных истинных высказываний из существующих высказываний (см. An Introduction to Database Systems Eighth Edition by C.J. Date 2004 ssn)
d.b..	process of inferring additional true propositions from the given ones	процесс логического вывода дополнительных истинных высказываний из существующих высказываний (ssn)
Makarov.	the same proposition cannot be at once true and false	одно и то же суждение не может быть одновременно истинным и ложным
tech.	this proposition holds true for other cases, too	это положение справедливо и в отношении других случаев
tech.	true proposition	истинное высказывание