В дальнейшем будем предполагать, что связь (синтетическая в смысле предшествующего параграфа) является простой, и со&храним для нее знак п. Для соответствующей аналитической свя&зи, поскольку в нашем случае оба ее вида совпадают, выбираем перевернутый знак и. При этом исходная синтетическая связь, к которой применяется аналитическая связь, будет выступать в ка&честве предшествующего члена.
Итак, си b обозначает здесь такую форму, которая, будучи синтетически связана с Ь, дает а, так что всегда имеет место a u b п Ъ = а9*. В этой формуле одновременно содержится утверждение, что fluftuc означает форму, связав которую синте&тически сначала с с, затем с b, получим а. Это в соответствии с параграфом 4 означает также форму, которая, будучи синтетиче&ски связана с теми же значениями, взятыми в обратном порядке, или же с формой b п с, дает я10*, то есть
= ли(/?пс);
поскольку это рассуждение справедливо для любого числа чле&нов, то получается, что порядок членов, перед которыми стоят аналитические знаки, безразличен и [что] такого рода члены можно заключить в скобки, заменив на противоположные знаки между членами, заключаемыми в скобки11*. Отсюда следует да&лее, что
flu(iuc) = auftnc.
В самом деле, по определению аналитической связи, имеем flu(ftuc) = au(iuc)ucnc;
выражение справа, в силу только что доказанного закона, равно a u (b и с п с) п с,
и, наконец, это выражение, в соответствии с определением анали&тической связи, равно
auinc,
а это означает, что исходное выражение равно этому последне&му^*.
Если выразить этот результат словесно и присоединить его к полученным ранее выводам, то мы будем иметь следующее пред&ложение:
Если синтетическая связь является простой, то для резуль&тата безразлично, в каком порядке связывать, и как связы&вать - синтетически или аналитически.
Далее, скобки, стоящие после синтетического знака, можно ставить или удалять толь&ко в том случае, если они заключают в себе синтетический член. Но после аналитического знака скобка при всех обстоятельст&вах может вводиться или удаляться только после замены внут&ри скобки знаков перед ее членами на противоположные, то есть замены аналитических знаков синтетическими, и наоборот13*.Таков самый общий вывод, который можно получить, исходя из принятых допущений. Но из них не следует, что могут быть удалены скобки, включающие аналитический знак, перед кото&рыми стоит синтетический знак14*. Для этого, напротив, надо ввести новую предпосылку.