If a proposition is given to us then the results of all truth-operations which have it as their basis are given with it.
« 5.441 5.45 »