5.442

) . f ⁡ x . x = a ” the same as “ f ⁡ a ”.

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

412