Мне было поручено показать, что
S (KK) I = K
Теперь, поскольку S занимает три аргументы, я просто застрял в начале, не зная, как с этим справиться. Я вижу два аргумента, а именно (KK) и I , но не существует третьего, который я мог бы «определить». Что происходит в этой ситуации? Это уже сработало для меня, просто пропустив z в S xyz = xz (yz) , что привело к KK (I) и, как следствие, К * * тысяче двадцать-два. Это просто кажется мне неправильным, поэтому я хочу спросить здесь. Это правильный путь?
Я также не понимаю, что происходит с KI , например, поскольку K также нуждается в двух аргументах и получает только I . Правильно ли мое решение или я должен go об этом по-другому?