) . 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.
) . 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.