or
" should be identical. But since our symbols, in any convenient form, inevitably introduce an order, we need suitable assumptions for showing that the order is irrelevant.
(4) If either
is true or "
or
" is true, then either
or
" should be identical. But since our symbols, in any convenient form, inevitably introduce an order, we need suitable assumptions for showing that the order is irrelevant.
(4) If either
is true or "
or
" is true, then either