Assertion: boolean algebra's value | /r/HasProperty | assigned to the variables of the formula
Facets:
Source sentences:
text: The interpretation of any intuitionistically valid formula in the infinite Heyting algebra described above results in the top element, representing true, as the valuation of the formula, regardless of what values from the algebra are assigned to the variables of the formula.