The point is: that the process of reasoning by
which we
|| arrive at the result that
a – b – a – p
… is the
same symbol as
a – p … , is
exactly the same as that by which we discover that its meaning is the same, viz. where
we reason if b – apb –
a then
not apb, if
a – b – ap then
not b – apb, :. if a
– b – ap
¤ then apb.