abstract:A logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antecedent.
Thelogicalformulasarean orderedbinarypair, the firstelementis an assertion and the second is a definable domain orapproximationsofundefinable domain corresponding to theassertion.